246 search results - page 24 / 50 » The Truth About Defaults |
ICALP
2004
Springer
14 years 3 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
CCIA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
Experience-based service selection refers to selection of service providers using others' experiences. An agent can represent its experience (its demand and received service) ...
DAGM
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents an optimization framework for the 3D reconstruction of the surfaces from stereo image pairs. The method is based on employing popular graph cut methods under th...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The importance of finding the characteristics leading to either a success or a failure is one of the driving forces of data mining. The various application areas of finding succes...