5130 search results - page 715 / 1026 » Constraint Query Languages |
236
click to vote
TACAS
2012
Springer
14 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
329
Voted
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
In the emerging area of sensor-based systems, a significant challenge is to develop scalable, fault-tolerant methods to extract useful information from the data the sensors collec...
290
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
247
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
Ranking a set of retrieved documents according to their relevance to a query is a popular problem in information retrieval. Methods that learn ranking functions are difficult to o...
204
Voted
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Earlier work has demonstrated the effectiveness of in-network data aggregation in order to minimize the amount of messages exchanged during continuous queries in large sensor netwo...