Filters








64,209 Hits in 3.0 sec

Fence - An Efficient Parser with Ambiguity Support for Model-Driven Language Specification [article]

Luis Quesada, Fernando Berzal, Francisco J. Cortijo
2011 arXiv   pre-print
In this paper, we propose Fence, an efficient bottom-up parsing algorithm with lexical and syntactic ambiguity support that enables the use of model-based language specification in practice.  ...  , natural language processing, and corpus-based induction of models.  ...  Let n denote the input string length, p the number of productions of the grammar, l the maximum length of a production (the number of symbols in its right hand side), and s the number of terminal symbols  ... 
arXiv:1107.4687v2 fatcat:t4qsktgg3vbxpj5i53sta5xkzq

Regular Expression Software Deceleration for Intrusion Detection Systems

Zachary Baker, Hong-jip Jung, Viktor Prasanna
2006 2006 International Conference on Field Programmable Logic and Applications  
The types of expressions that the system can handle efficiently are discussed as well as the outstanding problems that continue to challenge the community.  ...  By handling the timing and integration of the regular expression-based rules in a custom microcontroller, the memory costs are reduced and the capabilities are increased over a DFA-only solution.  ...  The cost of handling a large number of newline handlers can be reduced by limiting the maximum number of newline-incorporating rules in a given module.  ... 
doi:10.1109/fpl.2006.311246 dblp:conf/fpl/BakerPJ06 fatcat:p3jnfws7bvdshohn6suiovjj4u

PASS: String Solving with Parameterized Array and Interval Automaton [chapter]

Guodong Li, Indradeep Ghosh
2013 Lecture Notes in Computer Science  
Our solver (named PASS) supports most of the popular string operations, including string comparisons, string-numeric conversions, and regular expressions.  ...  We present an efficient and sound quantifier elimination algorithm. In addition, we use an automaton model to handle regular expressions and reason about string values faster.  ...  To handle them, we propose an efficient quantifier elimination algorithm. This conversion scheme is our first contribution. It precisely models string operations and stringnumeric conversions.  ... 
doi:10.1007/978-3-319-03077-7_2 fatcat:cbogvywadzebfdnam36gldciwa

C2M: Configurable Chemical Middleware

Paul van der Vet, Hans E. Roosendaal, Peter A. T. M. Geurts
2001 Comparative and Functional Genomics  
One of the vexing problems that besets concurrent use of multiple, heterogeneous resources is format multiplicity.C2M aims to equip scientists with a wrapper generator on their desktop.  ...  Future research will consolidate the code and extend the approach to a realistic variety of formats.  ...  The generator does, however, incorporate measures to enhance the efficiency of the converter. Finally, we want to extend C 2 M to handle merging and comparison tasks in addition to conversion tasks.  ... 
doi:10.1002/cfg.124 pmid:18628869 pmcid:PMC2447228 fatcat:4nbrnzmem5gajdqdf7r3yznpue

Page 5 of Journal of Research and Practice in Information Technology Vol. 14, Issue 1 [page]

1982 Journal of Research and Practice in Information Technology  
It can handle any set of strings that constitutes a regular language, but it cannot do anything more.  ...  For example, it cannot handle the strings that are generated by the following grammar: Sx S>(S) The legal strings are x, (x), ((x)), (((x))), etc.  ... 

Negative Ternary Set-Sharing [chapter]

Eric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest, M. Hermenegildo
2008 Lecture Notes in Computer Science  
To further compress the number of elements, we express the set-sharing relationships through a set of ternary strings that compacts the representation by eliminating redundancies among the sharing sets  ...  Note also that the number of (occurrences of) shared run-time variables is abstracted away.  ...  Moreover, when the number of the input binary strings is smaller than 50% of its maximum value, tSH compresses more efficiently than tN SH.  ... 
doi:10.1007/978-3-540-89982-2_30 fatcat:lsrm72k3w5bz3ewqft4rl57lza

Towards Constraint Logic Programming over Strings for Test Data Generation [article]

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
2019 arXiv   pre-print
To do so, we introduce a prototypical CLP solver over string constraints. As case studies, we use it to generate IBAN numbers and calender dates.  ...  In order to properly test software, test data of a certain quality is needed.  ...  However, there are no direct conversions from other types to strings.  ... 
arXiv:1908.10203v1 fatcat:3skq73xnpvd4hjenqpcaj4s7bu

Energy Harvesting from Upper-Limb Pulling Motions for Miniaturized Human-Powered Generators

Jeongjin Yeo, Mun-ho Ryu, Yoonseok Yang
2015 Sensors  
The developed prototype showed an average energy conversion efficiency of 30.98% and an average output power of 0.32 W with a maximum of 1.89 W.  ...  Its small form factor (50 mm × 32 mm × 43.5 mm, 0.05 kg) and the substantial electricity produced verify the effectiveness of the proposed method in the utilization of human power.  ...  Conflicts of Interest The authors declare no conflict of interest.  ... 
doi:10.3390/s150715853 pmid:26151204 pmcid:PMC4541857 fatcat:2uqaxo4v7bck7bikmdvw3s4kgq

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length [article]

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 arXiv   pre-print
Additionally, we present a number of novel general heuristics, such as the prefix/suffix method, that can be used in conjunction with a variety of regex solving algorithms, making them more efficient.  ...  A crucial insight that underpins our algorithm is that real-world instances contain a wealth of information about upper and lower bounds on lengths of strings under constraints, and such information can  ...  Comparison with Z3-Trau: The Z3-Trau [1] solver builds on Trau [2] , reimplemented in Z3, and enriched with new ideas e.g. a more efficient handling of string-number conversion.  ... 
arXiv:2010.07253v3 fatcat:oqgkmvrcergppenq2prw2yrp24

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length [chapter]

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 Lecture Notes in Computer Science  
Additionally, we present a number of novel general heuristics, such as the prefix/suffix method, that can be used to make a variety of regex solving algorithms more efficient in practice.  ...  A crucial insight that underpins our algorithm is that real-world regex and string formulas contain a wealth of information about upper and lower bounds on lengths of strings, and such information can  ...  The work of Florin Manea is supported by the DFG grant 389613931.  ... 
doi:10.1007/978-3-030-81688-9_14 fatcat:xzr23d675vd6rohgxs2d5bocja

A Novel String Representation and Kernel Function for the Comparison of I/O Access Patterns [chapter]

Raul Torres, Julian Kunkel, Manuel F. Dolz, Thomas Ludwig
2017 Lecture Notes in Computer Science  
Due to the fact that string objects can be easily compared using Kernel Methods, a conversion to a weighted string representation is proposed in this paper, together with a novel string kernel function  ...  The evaluation showed that 2 out of 4 I/O access pattern groups were completely identified, while the other 2 conformed a single cluster due to the intrinsic similarity of their members.  ...  Acknowledgements Raul Torres would like to acknowledge the financial support from the Colombian Administrative Department of Science, Technology and Innovation (Colciencias) as well as the mathematical  ... 
doi:10.1007/978-3-319-62932-2_48 fatcat:3xxutxnczjgepiozx32246adnq

CCTV Video Processing Metadata Security Scheme Using Character Order Preserving-Transformation in the Emerging Multimedia

Jinsu Kim, Namje Park, Geonwoo Kim, Seunghun Jin
2019 Electronics  
security and efficiency in the video meta-data processing.  ...  Despite such risks, it is not appropriate to implement encryption for video meta-data considering the efficiency issue.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/electronics8040412 fatcat:nn2veb4e3zhfpod5nlhdwg63da

MiniZinc with Strings [chapter]

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
2017 Lecture Notes in Computer Science  
This conversion is obtained via rewrite rules, and does not require any extension of the existing FlatZinc specification.  ...  We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language.  ...  Conversely, the F int (M ) conversion can be considerably less efficient depending on the m parameter.  ... 
doi:10.1007/978-3-319-63139-4_4 fatcat:rkynfbvypffhngbajnpawkgktm

Sequential & Parallel Algorithms for Big-Integer Numbers Subtraction [article]

Youssef Bassil, Aziz Barbar
2012 arXiv   pre-print
Many emerging computer applications require the processing of large numbers, larger than what a CPU can handle.  ...  Such algorithms are of complexity O(n) where n is the total number of bits in each operand. This paper proposes two new algorithms for performing arithmetic subtraction on big-integer numbers.  ...  In terms of time efficiency, the number of times the basic operation is executed, is equal to the number of bits in the big-integer operands.  ... 
arXiv:1204.0220v1 fatcat:rtmlprg42jgmvpb52rb675jhpm

From webtables to datatables [article]

Mária Csernoch
2020 arXiv   pre-print
In the present paper the conversion process of one of the LOL Boards (League of Legends, Riot Games Inc. 2019) is detailed.  ...  After presenting the algorithm of the conversion, two solutions are offered -- one in a word processor, the other purely in a spreadsheet application -- leaving space for discussions, inventing other solutions  ...  To convert all the numbers of views into a number datatype, we must search for the k string, check its presence, remove it, convert the string datatype to a number datatype, and multiply the small numbers  ... 
arXiv:2006.14694v1 fatcat:yca3ideslrc5jjvur3bdm73yzq
« Previous Showing results 1 — 15 out of 64,209 results