5326 search results - page 300 / 1066 » On what we can ensure |
158
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
Laser range scanners are a popular method for acquiring three-dimensional geometry due to their accuracy and robustness. Maximizing scanner accuracy while minimizing engineering c...
192
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
147
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
165
click to vote
AAAI
2010
15 years 8 months ago
2010
We present a novel method to control a biped humanoid robot to walk on unknown inclined terrains, using an online learning algorithm to estimate in real-time the local terrain fro...
169
click to vote
LREC
2008
15 years 8 months ago
2008
The construction of a wordnet, a labour-intensive enterprise, can be significantly assisted by automatic grouping of lexical material and discovery of lexical semantic relations. ...