8874 search results - page 329 / 1775 » A New Implementation of Automath |
161
click to vote
CCCG
2008
15 years 8 months ago
2008
We propose a new model of realistic input: k-guardable objects. An object is k-guardable if its boundary can be seen by k guards in the interior of the object. In this abstract, w...
167
Voted
ISCAPDCS
2008
15 years 8 months ago
2008
Abstract -- At the present time, when the usage of supercomputers has been brought into play and turned out to be more widespread, the research of Asymmetric Operating Systems has ...
167
Voted
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
The advent of SOA and Grid technology has brought new challenges to workflow operation and performance evaluation. In this paper, the characteristics of service-oriented workflow ...
129
click to vote
LREC
2008
15 years 8 months ago
2008
Reported speech in the form of direct and indirect reported speech is an important indicator of evidentiality in traditional newspaper texts, but also increasingly in the new medi...
155
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents a context sensitive spell checking system that uses mixed trigram models, and introduces a new empirically grounded method for building confusion sets. The pro...