Sciweavers

3812 search results - page 436 / 763
» Combinations of TRAP Based Systems
Sort
View
WWW
2009
ACM
16 years 7 months ago
OpenRuleBench: an analysis of the performance of rule engines
The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since severa...
Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
CHI
2009
ACM
16 years 7 months ago
SenseableRays: opto-haptic substitution for touch-enhanced interactive spaces
This paper proposes a new haptic interaction system based on optical-haptic substitution. This system combines time-modulated structured light emitted to the workspace and a mobil...
Jun Rekimoto
POPL
2004
ACM
16 years 7 months ago
Tridirectional typechecking
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
Joshua Dunfield, Frank Pfenning
284
Voted
POPL
2001
ACM
16 years 7 months ago
Secure safe ambients
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
Michele Bugliesi, Giuseppe Castagna
ARTCOM
2009
IEEE
16 years 1 months ago
ANFIS Approach for Navigation of Mobile Robots
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
Mukesh Kumar Singh, Dayal R. Parhi, Jayanta Kumar ...