5904 search results - page 851 / 1181 » Requirements for a Composition Language |
157
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
190
click to vote
TABLEAUX
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
162
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
129
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
153
click to vote
W2GIS
2005
Springer
16 years 7 days ago
2005
Springer
Traditional GIS tools are well suited for desktop workstations, but need to be adapted in order to satisfy the requirements of mobility. We propose a concept for sketch-based spati...