4447 search results - page 824 / 890 » Model Checking Games |
203
click to vote
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
164
click to vote
ICDM
2009
IEEE
15 years 3 months ago
2009
IEEE
Anomaly detection is an important data mining task. Most existing methods treat anomalies as inconsistencies and spend the majority amount of time on modeling normal instances. A r...
166
click to vote
ICIP
2009
IEEE
15 years 3 months ago
2009
IEEE
We introduce a new SIR particle filter that performs tracking in a joint feature space where pixel domain data are fused with measurements obtained from an 18-channel modulation d...
194
click to vote
ICOODB
2009
15 years 3 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
183
click to vote
COGSR
2011
15 years 1 months ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...