1078 search results - page 187 / 216 » Modelling and Verifying of e-Commerce Systems |
120
click to vote
AIPS
2003
15 years 3 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
147
Voted
SSWMC
2004
15 years 3 months ago
2004
Biometric authentication, i.e. verifying the claimed identity of a person based on physiological characteristics or behavioral traits, has the potential to contribute to both priv...
109
click to vote
PDPTA
2003
15 years 3 months ago
2003
Common binary arithmetic operations such as addition/subtraction and multiplication suffer from O(n) carry propagation delay where n is the number of digits. Carry lookahead helps...
116
click to vote
JFR
2008
15 years 1 months ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
123
click to vote
RAS
2000
15 years 1 months ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...