1256 search results - page 171 / 252 » Tools for Exploring Natural Language |
114
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
152
click to vote
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
191
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
215
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
SCOPES
2005
Springer
15 years 6 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...