2143 search results - page 219 / 429 » Linking Representation with Meaning |
180
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
178
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
Visualization is a key issue for multivariate data analysis. Multivariate visualization is an active research topic and many efforts have been made in order to find suitable and ...
164
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
152
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we deal with arbitrary convex and concave rectilinear module packing using the Transitive Closure Graph (TCG) representation. The geometric meanings of modules are ...
179
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Current practice of Web site development does not address explicitly the problems related to multilingual sites. The same information, as well as the same navigation paths, page f...