12193 search results - page 346 / 2439 » It's not all about |
167
click to vote
CATS
2006
15 years 8 months ago
2006
In this paper, we study the formalization of one-pass call-by-value CPS compilation using higher-order abstract syntax. In particular, we verify mechanically that the source progr...
186
click to vote
DATESO
2004
15 years 8 months ago
2004
Discovering the complex relationships between entities is one way of benefitting from the Semantic Web. This paper discusses new approaches to implementing -operators into RDF quer...
144
click to vote
RANLP
2003
15 years 8 months ago
2003
A system for recognition and morphological classification of unknown German nouns is described. It takes raw texts in German as input and outputs a list of the unknown nouns togeth...
158
click to vote
AIPS
2000
15 years 8 months ago
2000
The paper takes a fresh look at algorithms for maximizing expected utility over a set of policies, that is, a set of possible ways of reacting to observations about an uncertain s...
149
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper discusses nature of action research, and its particular strengths in disciplines such as information systems (IS). However concerns are raised about the quality and rigo...