17983 search results - page 208 / 3597 » Set Types and Applications |
173
click to vote
SIP
2003
15 years 8 months ago
2003
This paper presents a data-driven approach for segmenting range data to enable a humanoid robot to perform interactive domestic tasks. Range data is segmented into geometric primi...
151
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
279
click to vote
APAL
2011
15 years 1 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
164
click to vote
ESCIENCE
2006
IEEE
16 years 19 days ago
2006
IEEE
Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...
171
click to vote
PASTE
2004
ACM
16 years 6 hour ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...