Sciweavers

3429 search results - page 626 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ECHT
1992
14 years 1 months ago
Hyperform: Using Extensibility to Develop Dynamic, Open and Distributed Hypertext Systems
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
Uffe Kock Wiil, John J. Leggett
LICS
1991
IEEE
14 years 16 days ago
Defaults and Revision in Structured Theories
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
Mark Ryan
BMVC
2002
13 years 11 months ago
Real-time gesture recognition using deterministic boosting
A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures ...
Raymond Lockton, Andrew W. Fitzgibbon
AAAI
1994
13 years 10 months ago
Teleassistance: Contextual Guidance for Autonomous Manipulation
We present teleassistance, a two-tiered control structure for robotic manipulation that combines the advantages of autonomy and teleoperation. At the top level, a teleoperator pro...
Polly K. Pook, Dana H. Ballard
CSFW
2006
IEEE
14 years 3 months ago
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
Michael J. May, Carl A. Gunter, Insup Lee