Sciweavers

6224 search results - page 222 / 1245
» Recent Advances in Networking
Sort
View
95
Voted
UIST
2003
ACM
15 years 6 months ago
Multi-finger and whole hand gestural interaction techniques for multi-user tabletop displays
Recent advances in sensing technology have enabled a new generation of tabletop displays that can sense multiple points of input from several users simultaneously. However, apart ...
Mike Wu, Ravin Balakrishnan
CAV
2003
Springer
107views Hardware» more  CAV 2003»
15 years 6 months ago
Theorem Proving Using Lazy Proof Explication
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B...
120
Voted
PODS
2010
ACM
250views Database» more  PODS 2010»
15 years 5 months ago
From information to knowledge: harvesting entities and relationships from web sources
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
Gerhard Weikum, Martin Theobald
3DPVT
2002
IEEE
207views Visualization» more  3DPVT 2002»
15 years 5 months ago
Content-Based Image Retrieval from Large Medical Databases
The main goal of content based image retrieval is to e ciently retrieve images that are visually similar to a query image. In this paper we will focus on content based image retri...
Avi Kak, Christina Pavlopoulou
INCDM
2010
Springer
129views Data Mining» more  INCDM 2010»
15 years 5 months ago
The Orange Customer Analysis Platform
In itself, the continuous exponential increase of the data-warehouses size does not necessarily lead to a richer and finer-grained information since the processing capabilities d...
Raphaël Feraud, Marc Boullé, Fabrice C...