2935 search results - page 470 / 587 » An Integrated Approach to High Integrity Software Verificati... |
187
click to vote
KI
2009
Springer
16 years 15 days ago
2009
Springer
Spoken dialogue is notoriously hard to process with standard language processing technologies. Dialogue systems must indeed meet two major challenges. First, natural spoken dialogu...
188
click to vote
DASFAA
2007
IEEE
16 years 9 days ago
2007
IEEE
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
137
click to vote
CCS
2007
ACM
16 years 4 days ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
151
click to vote
ICRA
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— The localization capability is central to basic navigation tasks and motivates development of various visual navigation systems. In this paper we describe a two stage a...
151
click to vote
SBCCI
2005
ACM
15 years 11 months ago
2005
ACM
Gate oxide tunneling current Igate and sub-threshold current Isub dominate the leakage of designs. The latter depends on threshold voltage Vth while Igate vary with the thickness ...