Sciweavers

295 search results - page 41 / 59
» Reasoning about Cardinal Directions
Sort
View
ROBOCUP
2004
Springer
85views Robotics» more  ROBOCUP 2004»
14 years 21 days ago
Optimizing Precision of Self-Localization in the Simulated Robotics Soccer
We show that all published visual data processing methods for the simulated robotic soccer so far were not utilizing all available information, because they were mainly based on he...
Vadim Kyrylov, David Brokenshire, Eddie Hou
DEXAW
2003
IEEE
108views Database» more  DEXAW 2003»
14 years 19 days ago
Electronic Voting Systems: Security Implications of the Administrative Workflow
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
Costas Lambrinoudakis, Spyros Kokolakis, Maria Kar...
GLOBAL
2003
Springer
14 years 16 days ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
ISSRE
2002
IEEE
14 years 7 days ago
Fault Contribution Trees for Product Families
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
Dingding Lu, Robyn R. Lutz
CSMR
1998
IEEE
13 years 11 months ago
Towards Mature Measurement Programs
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
Frank Niessink, Hans van Vliet