1662 search results - page 218 / 333 » Using Open Data Collection for Intelligent Software |
156
click to vote
FAST
2010
15 years 5 months ago
2010
Cloud computing promises large-scale and seamless access to vast quantities of data across the globe. Applications will demand the reliability, consistency, and performance of a t...
127
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
122
Voted
AAAI
2007
15 years 5 months ago
2007
Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems’ efficiency with onboa...
229
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...
118
click to vote
FLAIRS
2006
15 years 4 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...