1809 search results - page 307 / 362 » Software Model Checking Using Linear Constraints |
125
Voted
ATVA
2010
Springer
15 years 5 days ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
126
click to vote
EMS
2009
IEEE
15 years 9 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
114
Voted
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
With the recent efforts made by computer vision researchers,
more and more types of features have been designed
to describe various aspects of visual characteristics.
Modeling s...
121
Voted
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
100
click to vote
COR
2007
15 years 2 months ago
2007
This work is concerned with the efficient design of a reverse logistics network using an extended version of models currently found in the literature. Those traditional, basic mo...