12774 search results - page 154 / 2555 » A Framework for Proof Systems |
120
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ...
130
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
157
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
131
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
119
click to vote
FC
2006
Springer
15 years 8 months ago
2006
Springer
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...