2226 search results - page 356 / 446 » Pdk: The System and Its Language |
182
click to vote
JLP
2006
15 years 6 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
179
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
179
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a new approach to determine the senses of words in queries by using WordNet. In our approach, noun phrases in a query are determined first. For each word in th...
185
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
243
click to vote
ADT
2011
14 years 10 months ago
2011
Currently, there is a strong effort of the research community in rethinking the Internet architecture to cope with its current limitations and support new requirements. Many resea...