Sciweavers

3856 search results - page 268 / 772
» Models for Automated Earthmoving
Sort
View
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 11 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
152
Voted
SEMWEB
2001
Springer
15 years 11 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 11 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
WETICE
2000
IEEE
15 years 11 months ago
DEMOIR: A Hybrid Architecture for Expertise Modeling and Recommender Systems
Although employees’ expertise has long been regarded as an important asset in organizations at least on a par with capital, goods and documented information, it is only recently...
Dawit Yimam, Alfred Kobsa
CIT
2007
Springer
15 years 10 months ago
An Approach for Assessment of Reliability of the System Using Use Case Model
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
Debasish Kundu, Debasis Samanta