Sciweavers

752 search results - page 110 / 151
» Finite-State Modeling, Analysis and Testing of System Vulner...
Sort
View
GIR
2006
ACM
14 years 3 months ago
Identifying and grounding descriptions of places
In this paper we test the hypothesis Given a piece of text describing an object or concept our combined disambiguation method can disambiguate whether it is a place and ground it ...
Simon E. Overell, Stefan M. Rüger
ICASSP
2011
IEEE
13 years 1 months ago
Array-based GNSS acquisition in the presence of colored noise
This paper investigates the application of the Generalized Likelihood Ratio Test detector to the Global Navigation Satellite System array-based acquisition problem. We consider an...
Javier Arribas, Carles Fernández-Prades, Pa...
QSIC
2005
IEEE
14 years 3 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
CVIU
2004
99views more  CVIU 2004»
13 years 9 months ago
Synchronization of oscillations for machine perception of gaits
Substantial evidence supports a relationship between gait perception and gait synthesis. Furthermore, passive mechanical systems demonstrate that the jointed leg systems of humans...
Jeffrey E. Boyd
IPM
2007
143views more  IPM 2007»
13 years 9 months ago
QCS: A system for querying, clustering and summarizing documents
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
Daniel M. Dunlavy, Dianne P. O'Leary, John M. Conr...