3653 search results - page 327 / 731 » On Recognizable Timed Languages |
193
click to vote
DEBU
2008
15 years 7 months ago
2008
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...
176
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
184
click to vote
IJWET
2008
15 years 6 months ago
2008
: Information-filtering systems constitute a critical component of modern information-seeking applications. As the number of users grows and the amount of information available bec...
203
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Statistical language models can learn relationships between topics discussed in a document collection and persons, organizations and places mentioned in each document. We present a...