Sciweavers

507 search results - page 83 / 102
» Normalization Theory for XML
Sort
View
BCSHCI
2007
13 years 9 months ago
Thanks for the memory
This paper reports the trial of a memory prosthesis, SenseCam, as a resource for digital narratives. Over a period of one week, six participants were asked to use SenseCams to cap...
Richard H. R. Harper, Dave W. Randall, N. Smythe, ...
CATS
2007
13 years 9 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
DMS
2008
106views Multimedia» more  DMS 2008»
13 years 9 months ago
A Multimedia Data Streams Model for Content-based Information Retrieval
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
Shenoda Guirguis, Rohit Kulkarni, Shi-Kuo Chang
WSCG
2004
132views more  WSCG 2004»
13 years 9 months ago
A Novel Computer Vision Technique Used On Sport Video
A method based on computer vision technologies is presented to achieve the function that the simulated motion in sport simulation system and the motion in sport video are presente...
Xianjie Qiu, Zhaoqi Wang, Shihong Xia
ICFP
2010
ACM
13 years 7 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic