4151 search results - page 699 / 831 » Language Driven System Design |
122
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
201
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
A common criticism of database systems is that they are hard to query for users uncomfortable with a formal query language. To address this problem, form-based interfaces and keyw...
116
click to vote
MOBISYS
2003
ACM
16 years 1 months ago
2003
ACM
Remote execution can transform the puniest mobile device into a computing giant able to run resource-intensive applications such as natural language translation, speech recognitio...
104
Voted
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
— Information extraction systems are traditionally implemented as a pipeline of special-purpose processing modules. A major drawback of such an approach is that whenever a new ex...
108
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
This article addresses a question regarding relevant information in a social media such as a wiki that can contain huge amount of text, written in slang or in natural language, wi...