3145 search results - page 353 / 629 » Key Improvements to XTR |
188
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
176
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
The accuracy of detecting an intrusion within a network of intrusion detection systems (IDSes) depends on the efficiency of collaboration between member IDSes. The security itself ...
200
click to vote
AIA
2007
15 years 8 months ago
2007
Designers aim at fast but low-power consuming integrated circuits. Since high processing speed always comes with high energy demands, the literature provides several ways to reduc...
144
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Information retrieval systems (IRSs) usually suffer from a low ability to recognize a same idea that is expressed in different forms. A way of improving these systems is to take ...
189
click to vote
AAAI
2006
15 years 8 months ago
2006
Head pose and gesture offer several key conversational grounding cues and are used extensively in face-to-face interaction among people. We investigate how dialog context from an ...