5434 search results - page 959 / 1087 » Semantic information portals |
CP
2004
Springer
14 years 3 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
GC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
ICSOC
2004
Springer
14 years 3 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...