6020 search results - page 1157 / 1204 » A New Approach to Model Counting |
128
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
167
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
143
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
180
click to vote
SAB
2004
Springer
15 years 9 months ago
2004
Springer
While techniques exist for simulating swarming behaviors, these methods usually provide only simplistic navigation and planning capabilities. In this review, we explore the benefi...
144
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...