Sciweavers

12487 search results - page 386 / 2498
» Graspable Work Modeling
Sort
View
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 10 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
AVBPA
2001
Springer
119views Biometrics» more  AVBPA 2001»
15 years 10 months ago
Extended Model-Based Automatic Gait Recognition of Walking and Running
Gait is an emerging biometric. Current systems are either holistic or feature based and have been demonstrated to be able to recognise people by the way they walk. This paper descr...
Chew-Yean Yam, Mark S. Nixon, John N. Carter
SEMWEB
2001
Springer
15 years 10 months ago
RDF Models for Dynamic Syndication and Wireless Applications
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
Leon A. Shklar
ICRA
2000
IEEE
122views Robotics» more  ICRA 2000»
15 years 10 months ago
Application of a Model-Free Algorithm for the Packing of Irregular Shaped Objects in Semiconductor Manufacture
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
Vivek A. Sujan, Steven Dubowsky
IEEEARES
2010
IEEE
15 years 10 months ago
Refining the Pattern-Based Reference Model for Electronic Invoices by Incorporating Threats
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
Michael Netter, Eduardo B. Fernández, G&uum...