7225 search results - page 1183 / 1445 » On the Computational Power of Biochemistry |
108
click to vote
IPMU
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Credal sets are closed convex sets of probability mass functions. The lower probabilities specified by a credal set for each element of the power set can be used as cons...
117
click to vote
CP
2007
Springer
15 years 6 months ago
2007
Springer
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
111
click to vote
EMNETS
2007
15 years 5 months ago
2007
In this paper, we use stereo vision processing techniques to detect and localise sensors used for monitoring simulated environmental events within an experimental sensor network t...
119
click to vote
ENTER
2007
Springer
15 years 5 months ago
2007
Springer
This paper reports an explanatory study of using Google Map API to develop two destinationspecific tourist information tools: a handheld tour guide and an online trip planner for ...
131
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...