377 search results - page 26 / 76 » Advanced Microeconomic Theory |
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
CAV
2003
Springer
14 years 23 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
WEBI
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper is about a new research field called Web Intelligence (WI for short). We try to explain the needs for coining the term as a sub-discipline of computer science...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
JCAMD
2010
13 years 6 months ago
2010
An account is given of our contributions to the SAMPL2 challenge for vacuum-water transfer energies. These contributions include different charge sets and radii used with Poisson...