998 search results - page 189 / 200 » From Feasible Proofs to Feasible Computations |
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
A key problem in sensor networks is to decide which sensors to query when, in order to obtain the most useful information (e.g., for performing accurate prediction), subject to co...
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
115
click to vote
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Optimizing compilers apply numerous interdependent optimizations, leading to the notoriously difficult phase-ordering problem — that of deciding which transformations...
81
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
A number of online video social networks, out of which YouTube is the most popular, provides features that allow users to post a video as a response to a discussion topic. These f...