8903 search results - page 1506 / 1781 » Alternative |
184
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
168
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
135
click to vote
CICLING
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
196
click to vote
CIKM
2007
Springer
16 years 26 days ago
2007
Springer
Recently, due to its wide applications, subgraph search has attracted a lot of attention from database and data mining community. Sub-graph search is defined as follows: given a ...
187
click to vote
CLEF
2007
Springer
16 years 26 days ago
2007
Springer
Dublin City University (DCU) and University of Tampere (UTA) participated in the ImageCLEF 2007 photographic ad-hoc retrieval task with several monolingual and bilingual runs. Our...