3001 search results - page 326 / 601 » Recursive type generativity |
173
click to vote
RTDB
2001
15 years 8 months ago
2001
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
183
click to vote
PDPTA
2003
15 years 8 months ago
2003
Routing algorithms are traditionally evaluated under Poisson-like traffic distributions. This type of traffic is smooth over large time intervals and has been shown not necessaril...
156
click to vote
AAAI
2000
15 years 8 months ago
2000
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
189
click to vote
TREC
2007
15 years 7 months ago
2007
We describe recent extensions to the Ephyra question answering (QA) system and their evaluation in the TREC 2007 QA track. Existing syntactic answer extraction approaches for fact...
201
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...