1075 search results - page 134 / 215 » On Singular Interval Systems |
135
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
We consider the problem of large scale retrieval evaluation. Recently two methods based on random sampling were proposed as a solution to the extensive effort required to judge te...
161
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 2 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
137
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
126
click to vote
WOWMOM
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents the concept and preliminary performance evaluation of a stochastic network discovery approach named opportunistic scanning. Therein, a station only pauses its ...
144
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present a dynamic optimization approach to save energy in Wireless Sensor Networks (WSN) at the link level. One of the main sources of energy waste in a WSN is idle listenin...