20197 search results - page 3610 / 4040 » Comparing Computational Power |
139
Voted
JANCL
2006
15 years 4 months ago
2006
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
143
click to vote
JNW
2008
15 years 4 months ago
2008
Agent-based modeling, simulation, and network analysis approaches are one of the emergent techniques among soft computing literature. This paper presents an agent-based model for a...
132
click to vote
CVIU
2007
15 years 4 months ago
2007
In this paper, we describe a method for recovering camera parameters from perspective views of daylight shadows in a scene, given only minimal geometric information determined fro...
139
click to vote
JOT
2008
15 years 4 months ago
2008
Readers of this article have probably seen, at least once, diagrams produced using the UML (Unified Modeling Language). Some of you have perhaps used UML for your own work and kno...
144
Voted
JSAC
2008
15 years 4 months ago
2008
In this paper, we consider the problem of estimating the state of a dynamical system from distributed noisy measurements. Each agent constructs a local estimate based on its own m...