6020 search results - page 195 / 1204 » A New Approach to Model Counting |
156
click to vote
JUCS
2006
15 years 4 months ago
2006
: Ambient Intelligent (AmI) vision is a new concept materialized by the Six Framework Program of the European Community. It involves three key technologies: Ubiquitous Computing, U...
121
Voted
ACS
2004
15 years 4 months ago
2004
Threshold agent networks (TANs) constitute a discretized modification of threshold (also known as neural) networks that are appropriate for modeling computer simulations. In this p...
168
Voted
ENTCS
2007
15 years 4 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
145
Voted
TROB
2002
15 years 4 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
186
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...