933 search results - page 38 / 187 » A Fully Automatic hp-Adaptivity |
108
Voted
OTM
2010
Springer
14 years 11 months ago
2010
Springer
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
AUIC
2004
IEEE
15 years 4 months ago
2004
IEEE
It is becoming increasingly common for user interfaces to use zooming visual effects that automatically adapt to user actions. The MacOs X `dock' icon panel, for instance, us...
FLAIRS
2007
15 years 3 months ago
2007
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
139
Voted
NIPS
2007
15 years 2 months ago
2007
Estimation of three-dimensional articulated human pose and motion from images is a central problem in computer vision. Much of the previous work has been limited by the use of cru...
117
Voted
ENTCS
2006
15 years 24 days ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...