Sciweavers

1142 search results - page 8 / 229
» TAST-Trademark Application Assistant
Sort
View
ICAI
2004
13 years 8 months ago
Mixed-Initiative Ontology Learning
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...
Cristina Boicu, Gheorghe Tecuci
MICCAI
2003
Springer
14 years 8 months ago
Laser Projection Augmented Reality System for Computer Assisted Surgery
A general-purpose augmented reality apparatus was developed. The system uses rapidly scanned lasers to display information directly onto the patient using the patient as a ``proje...
Neil D. Glossop, Chris Wedlake, John Moore, Terry ...
VMCAI
2012
Springer
12 years 2 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
ICMCS
2000
IEEE
124views Multimedia» more  ICMCS 2000»
13 years 11 months ago
A Gateway-Assisted Approach Toward QoS Adaptations
In this paper, we present a gateway-assisted QoS adaptation framework which satisfies high-level QoS application guarantees. We validate this framework via a distributed tracking...
William Kalter, Baochun Li, Won Jong Jeon, Klara N...
COMPCON
1994
IEEE
13 years 11 months ago
The Newton Application Architecture
The application architecture of Newton, a technology for supporting Personal Digital Assistants (PDAs), is described. It combines a dynamic, object-oriented language called Newton...
Walter R. Smith