Sciweavers

2715 search results - page 331 / 543
» An Implementation of Narrowing Strategies
Sort
View
ICLP
2004
Springer
15 years 11 months ago
Speculative Computations in Or-Parallel Tabled Logic Programs
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
ANSS
2003
IEEE
15 years 11 months ago
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
Chatree Sangpachatanaruk, Sherif M. Khattab, Taieb...
HAPTICS
2003
IEEE
15 years 11 months ago
Passive and Active Assistance for Human Performance of a Simulated Underactuated Dynamic Task
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...
Marcia Kilchenman O'Malley, Abhishek Gupta
ICRA
2003
IEEE
167views Robotics» more  ICRA 2003»
15 years 11 months ago
Local exploration: online algorithms and a probabilistic framework
— Mapping an environment with an imaging sensor becomes very challenging if the environment to be mapped is unknown and has to be explored. Exploration involves the planning of v...
Volkan Isler, Sampath Kannan, Kostas Daniilidis
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 11 months ago
Architecting Millisecond Test Solutions for Wireless Phone RFIC's
Today’s low cost wireless phones have driven a need to be able to economically test high volumes of complex RF IC’s at a fraction of the cost of the IC. In June of 2001 the IB...
John Ferrario, Randy Wolf, Steve Moss