11862 search results - page 56 / 2373 » Relative information completeness |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
PATAT
2000
Springer
13 years 11 months ago
2000
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
AR
2006
13 years 7 months ago
2006
The present work deals with the design, implementation and assessment of a new haptic system specifically conceived for manipulative tasks in virtual environments. Such a system wa...
TROB
2010
13 years 2 months ago
2010
This paper presents a visual-servoing method that is based on 2-D ultrasound (US) images. The main goal is to guide a robot actuating a 2-D US probe in order to reach a desired cro...
SIGCSE
2009
ACM
14 years 10 days ago
2009
ACM
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...