Sciweavers

390 search results - page 56 / 78
» Probability Logic and Logical Probability
Sort
View
ECAI
2000
Springer
15 years 9 months ago
Turning High-Level Plans into Robot Programs in Uncertain Domains
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
Henrik Grosskreutz, Gerhard Lakemeyer
148
Voted
CONPAR
1992
15 years 9 months ago
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal)
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
Christian Lavault
158
Voted
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
15 years 8 months ago
Transistor reordering rules for power reduction in CMOS gates
— The goal of transistor reordering for a logic gate is to reduce the propagation delay as well as the charging and discharging of internal capacitances to achieve low power cons...
Wen-Zen Shen, Jiing-Yuan Lin, Fong-Wen Wang
DLOG
2008
15 years 7 months ago
Planning of Axiom Absorption
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
Jiewen Wu, Volker Haarslev
136
Voted
AEI
2007
119views more  AEI 2007»
15 years 5 months ago
Anxiety-based affective communication for implicit human-machine interaction
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...
Pramila Rani, Nilanjan Sarkar, Julie Adams