3353 search results - page 255 / 671 » Laver and set theory |
161
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
174
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
179
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
174
click to vote
CIMCA
2005
IEEE
16 years 7 days ago
2005
IEEE
The aim of the research presented in this paper is to contribute to reduction of development time for ontologies by discovering reusable parts and patterns. The approach is to use...
153
click to vote
SMI
2005
IEEE
16 years 5 days ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...