5550 search results - page 972 / 1110 » Different Approaches to Proof Systems |
166
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
149
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
A layered architecture for the Semantic Web that adheres to software engineering principles and the fundamental aspects of layered architectures will assist in the development of S...
161
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
In many distributed computing paradigms, especially sensor networks and ubiquitous computing but also grid computing and web services, programmers commonly tie their application to...
155
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
157
click to vote
ACL
2008
15 years 8 months ago
2008
Supervised word sense disambiguation requires training corpora that have been tagged with word senses, which begs the question of which word senses to tag with. The default choice...