2203 search results - page 348 / 441 » Temporal Abstract Interpretation |
157
Voted
ACRI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents the Anisotropic selection scheme for cellular Genetic Algorithms (cGA). This new scheme allows to enhance diversity and to control the selective press...
214
Voted
COGSYS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
115
Voted
DEON
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we reconsider the definition of counts-as relations in normative multiagent systems: counts-as relations do not always provide directly act interpretation of brute fa...
128
click to vote
NLDB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
145
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...