Sciweavers

2473 search results - page 293 / 495
» Systems, Views and Models of UML
Sort
View
ICRA
2002
IEEE
120views Robotics» more  ICRA 2002»
16 years 1 days ago
Position Based Visual Servoing: Keeping the Object in the Field of Vision
Visual servoing requires an object in the field of view of the camera, in order to control the robot evolution. Otherwise, the virtual link is broken and the control loop cannot c...
Benoit Thuilot, Philippe Martinet, Lionel Cordesse...
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 10 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
ADC
2008
Springer
146views Database» more  ADC 2008»
16 years 1 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
159
Voted
HT
1999
ACM
15 years 11 months ago
Do you have the Time? Composition and Linking in Time-Based Hypermedia
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...
Lynda Hardman, Jacco van Ossenbruggen, K. Sjoerd M...
WSC
1998
15 years 8 months ago
Web-based Simulation Experiments
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...
Enver Yücesan, Chun-Hung Chen, Insup Lee