Sciweavers

4085 search results - page 9 / 817
» Data Services - From Data to Containers
Sort
View
FLOPS
2008
Springer
13 years 9 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
BILDMED
2008
118views Algorithms» more  BILDMED 2008»
13 years 9 months ago
Validation Metrics for Non-rigid Registration of Medical Images Containing Vessel Trees
Abstract. Validation of non-rigid registration methods is still a challenging task. Different evaluation criteria were published, yet no widely accepted gold standard exists. The a...
Thomas Lange, Hans Lamecker, Michael Hünerbei...
CHI
2007
ACM
14 years 8 months ago
Devices as interactive physical containers: the shoogle system
Shoogle is a novel interface for sensing data within a mobile device, such as presence and properties of text messages or remaining resources. It is based around active exploratio...
John Williamson, Roderick Murray-Smith, Stephen Hu...
DASFAA
2006
IEEE
183views Database» more  DASFAA 2006»
14 years 1 months ago
Probabilistic Similarity Join on Uncertain Data
An important database primitive for commonly used feature databases is the similarity join. It combines two datasets based on some similarity predicate into one set such that the n...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
14 years 2 months ago
Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
Jiao Tao, Li Ding, Deborah L. McGuinness