2162 search results - page 181 / 433 » Automated Reasoning on Feature Models |
128
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
127
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
152
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
150
click to vote
FGR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a fully automated algorithm for reconstructing a textured 3D model of a face from a single photograph or a raw video stream. The algorithm is based on a combin...
267
click to vote
RTAS
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...