5722 search results - page 734 / 1145 » Dynamic inference control |
205
click to vote
LOPSTR
2004
Springer
16 years 1 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
184
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
The human brain and body are prolific signal generators. Recent technologies and computing techniques allow us to measure, process and interpret these signals. We can now infer su...
176
click to vote
IWIA
2003
IEEE
16 years 1 months ago
2003
IEEE
Past active Internet worms have caused widespread damage. Knowing the connection characteristics of such a worm very early in its proliferation cycle might provide first responde...
201
click to vote
TLDI
2003
ACM
16 years 29 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
198
click to vote
AIME
2003
Springer
16 years 28 days ago
2003
Springer
In this paper, we report on the fusion of simple retrieval strategies with thesaural resources in order to perform large-scale text categorization tasks. Unlike most related system...