5196 search results - page 289 / 1040 » State of Application Assessment |
224
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
176
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents Tiji, a trajectory generation scheme, ie an algorithm that computes a feasible trajectory between a start and a goal state, for a given robotic system. Tiji...
185
click to vote
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
If a groupware system is to be effectively used, especially over a wide-are network such as the Internet, where the quality of networking and computing resources are unpredictable...
179
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...