2455 search results - page 138 / 491 » Graphical abstract help |
146
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
125
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
113
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
125
click to vote
ICCBR
1995
Springer
15 years 7 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
96
Voted
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...