5550 search results - page 269 / 1110 » Different Approaches to Proof Systems |
185
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we describe our approach at the PAN 2010 plagiarism detection competition. We refer to the system we have used in PAN'09. We then present the improvements we hav...
193
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: The paper investigates first the role of artifacts in a cooperative work environment. It shows the different types of artifacts used in work groups. Then, it stresses the charact...
152
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ï...
189
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
164
click to vote
WEBIST
2008
15 years 8 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...