4397 search results - page 448 / 880 » Relational Algebra Operations |
180
click to vote
SRDS
2008
IEEE
16 years 21 days ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
136
click to vote
DFG
2007
Springer
16 years 15 days ago
2007
Springer
: Nowadays, the design of so-called consistent time-stepping schemes that basically feature a physically correct time integration, is still a state-of-the-art topic in the area of ...
128
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
— This paper deals with problems related to the capture of a tumbling satellite by a space robot. The minimization of the base attitude deviation before and after the contact wit...
168
click to vote
CPAIOR
2005
Springer
15 years 12 months ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...
156
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...