6020 search results - page 648 / 1204 » A New Approach to Model Counting |
267
click to vote
TIP
2010
15 years 2 months ago
2010
Abstract--This paper proposes a new approach, coupling physical models and image estimation techniques, for modelling the movement of fluids. The fluid flow is characterized by tur...
266
click to vote
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
— Efficient vehicle path planning in hostile environment to carry out rescue or tactical logistic missions remains very challenging. Most approaches reported so far relies on key...
213
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Social annotation has gained increasing popularity in many Web-based applications, leading to an emerging research area in text analysis and information retrieval. This paper is c...
184
click to vote
LORI
2009
Springer
16 years 2 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
176
click to vote
ASPDAC
2004
ACM
16 years 26 days ago
2004
ACM
—The routing environment for the new emerging mixed-signal System-on-Package (SOP) technology is more advanced than that of the conventional PCB or MCM technology – pins are lo...