6020 search results - page 1099 / 1204 » A New Approach to Model Counting |
119
click to vote
ECR
2002
15 years 4 months ago
2002
The understanding of consumer interaction with online EC Websites is one of the big current challenges for online marketers. The present paper investigates what drives and impedes...
147
Voted
ENTCS
2002
15 years 4 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
141
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
130
click to vote
PAMI
1998
15 years 4 months ago
1998
—This paper describes a new approach to matching geometric structure in 2D point-sets. The novel feature is to unify the tasks of estimating transformation geometry and identifyi...
174
Voted
RAS
2002
15 years 4 months ago
2002
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...