4460 search results - page 546 / 892 » Resources in process algebra |
200
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based estimator for simultaneous localization and mapping (SLAM) with processing requirements that are linear in the n...
178
click to vote
MTSR
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
179
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
168
click to vote
INFOCOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Recent proposals in multicast overlay construction have demonstrated the importance of exploiting underlying network topology. However, these topology-aware proposals often rel...
158
click to vote
ECLIPSE
2006
ACM
16 years 21 days ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...