415 search results - page 52 / 83 » Data Translation Between Taxonomies |
SIGMOD
2011
ACM
13 years 18 days ago
2011
ACM
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
Using the framework of higher-order active contours, we present a new quadratic continuation energy for the extraction of line networks (e.g. road, hydrographic, vascular) in the ...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
We introduce Amigo ? an Instant Messaging (IM) client for handheld computers. Amigo allows free-form images as well as handwriting to be sent between people, taking advantage of t...
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
EnsemBlue is a distributed file system for personal multimedia that incorporates both general-purpose computers and consumer electronic devices (CEDs). EnsemBlue leverages the cap...
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...