6343 search results - page 1088 / 1269 » Development of a Cartographic Language |
117
Voted
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
146
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
With the development of networking technologies and the advent of the peer-to-peer computing paradigm, distributed file-sharing systems like Gnutella are becoming prevalent over t...
148
click to vote
AIRS
2006
Springer
15 years 8 months ago
2006
Springer
One of the main challenges in content-based image retrieval still remains to bridge the gap between low-level features and semantic information. In this paper, we present our first...
160
click to vote
CIKM
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we study the problem of collecting training samples for building enterprise taxonomies. We develop a computer-aided tool named InfoAnalyzer, which can effectively as...
143
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...