1662 search results - page 74 / 333 » Privately Finding Specifications |
111
Voted
IJRR
2008
15 years 2 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
136
Voted
JALC
2002
15 years 2 months ago
2002
We define general algebraic frameworks for shortest-distance problems based on the structure of semirings. We give a generic algorithm for finding single-source shortest distances...
106
Voted
GI
2010
Springer
15 years 1 months ago
2010
Springer
: A recurring manual task in data integration or ontology alignment is finding mappings between complex schemas. In order to reduce the manual effort, many matching algorithms for ...
119
Voted
ICCV
2009
IEEE
15 years 11 days ago
2009
IEEE
Structural semantics are fundamental to understanding both natural and man-made objects from languages to buildings. They are manifested as repeated structures or patterns and are...
BMCBI
2008
15 years 2 months ago
2008
Background: Experimental examinations of biofluids to measure concentrations of proteins or their fragments or metabolites are being explored as a means of early disease detection...