489 search results - page 75 / 98 » Type classes as objects and implicits |
IJCV
2008
13 years 8 months ago
2008
We present an unsupervised approach for learning a generative layered representation of a scene from a video for motion segmentation. The learnt model is a composition of layers, ...
APAL
2005
13 years 8 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
As the competition of Web search market increases, there is a high demand for personalized Web search to conduct retrieval incorporating Web users' information needs. This pa...