2488 search results - page 380 / 498 » An improvement in formal verification |
81
Voted
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...
100
click to vote
IUI
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
109
click to vote
AIME
2005
Springer
15 years 7 months ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Meeting is one of the most common places where decisions are made. However, since there is hardly any formal documentation concerning decisions made in meetings, it turns out to be...