5544 search results - page 343 / 1109 » Three Inadequate Models |
187
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
170
click to vote
ALIFE
2004
15 years 6 months ago
2004
The concept of "self-protection", a capability of an organism to protect itself from exogenous attacks, is introduced to the design of artificial evolutionary systems as...
190
click to vote
TIP
2002
15 years 6 months ago
2002
This paper proposes the localization algorithm that estimates translation parameters of an aircraft by comparing the sampled elevation map recovered from aerial sequence images, an...
174
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
We describe work done at three sites on designing conversational agents capable of incremental processing. We focus on the `middleware' layer in these systems, which takes ca...
156
click to vote
ACL
2009
15 years 4 months ago
2009
A central problem in grounded language acquisition is learning the correspondences between a rich world state and a stream of text which references that world state. To deal with ...