Sciweavers

3825 search results - page 362 / 765
» The Language of Time: A Reader
Sort
View
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 6 months ago
Combining decision procedures for the reals
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...
Jeremy Avigad, Harvey Friedman
ENTCS
2006
137views more  ENTCS 2006»
15 years 6 months ago
Compiling Esterel into Static Discrete-Event Code
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...
Stephen A. Edwards, Vimal Kapadia, Michael Halasz
IJWET
2008
81views more  IJWET 2008»
15 years 6 months ago
XFIS: an XML filtering system based on string representation and matching
: 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...
Panagiotis Antonellis, Christos Makris
ISI
2006
Springer
15 years 6 months ago
Analyzing Entities and Topics in News Articles Using Statistical Topic Models
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...
David Newman, Chaitanya Chemudugunta, Padhraic Smy...
JUCS
2006
116views more  JUCS 2006»
15 years 6 months ago
Extension of CQL over Dynamic Databases
: CQL, Continuous Query Language is suitable for data stream queries. Sometimes it is better if the queries operate on relational databases and data streams simultaneously. The exe...
Antal Buza