Sciweavers

11066 search results - page 1872 / 2214
» Linearity in Process Languages
Sort
View
FPL
2008
Springer
178views Hardware» more  FPL 2008»
15 years 8 months ago
High-speed regular expression matching engine using multi-character NFA
An approach is presented for high throughput matching of regular expressions (regexes) by first converting them into corresponding Non-deterministic Finite Automata (NFAs) which a...
Norio Yamagaki, Reetinder P. S. Sidhu, Satoshi Kam...
CASCON
2007
110views Education» more  CASCON 2007»
15 years 8 months ago
Runtime monitoring of web service conversations
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennet...
ISEMANTICS
2010
15 years 8 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
DGO
2007
174views Education» more  DGO 2007»
15 years 8 months ago
A bootstrapping approach for identifying stakeholders in public-comment corpora
A stakeholder is an individual, group, organization, or community that has an interest or stake in a consensus-building process. The goal of stakeholder identification is identify...
Jaime Arguello, Jamie Callan
LREC
2010
126views Education» more  LREC 2010»
15 years 8 months ago
Romanian Zero Pronoun Distribution: A Comparative Study
Anaphora resolution is still a challenging research field in natural language processing, lacking an algorithm that correctly resolves anaphoric pronouns. Anaphoric zero pronouns ...
Claudiu Mihaila, Iustina Ilisei, Diana Inkpen
« Prev « First page 1872 / 2214 Last » Next »