2765 search results - page 174 / 553 » Works and representation |
226
Voted
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
— Adaptive Information Filtering seeks a solution to the problem of information overload through a tailored representation of the user’s interests, called user profile, which ...
187
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Visual localization and mapping for mobile robots has been achieved with a large variety of methods. Among them, topological navigation using vision has the advantage of offeri...
219
click to vote
IDEAS
2009
IEEE
16 years 1 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
188
click to vote
ATVA
2005
Springer
16 years 17 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
174
Voted
ECLIPSE
2006
ACM
16 years 1 months 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...