133 search results - page 19 / 27 » Expressive Power of Non-Deterministic Operators for Logic-ba... |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
ICDE
2012
IEEE
11 years 10 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. ...
ER
2009
Springer
14 years 2 months ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
VISUAL
1999
Springer
13 years 12 months ago
1999
Springer
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...
REX
1991
13 years 11 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...