Sciweavers

956 search results - page 147 / 192
» Multiple Views on System Traces
Sort
View
ICDT
1999
ACM
82views Database» more  ICDT 1999»
14 years 2 months ago
The Data Warehouse of Newsgroups
Electronic newsgroups are one of the primary means for the dissemination, exchange and sharing of information. We argue that the current newsgroup model is unsatisfactory, especial...
Himanshu Gupta, Divesh Srivastava
PAMI
2011
13 years 4 months ago
Matching Forensic Sketches to Mug Shot Photos
—The problem of matching a forensic sketch to a gallery of mug shot images is addressed in this paper. Previous research in sketch matching only offered solutions to matching hig...
Brendan Klare, Zhifeng Li, Anil K. Jain
IROS
2008
IEEE
167views Robotics» more  IROS 2008»
14 years 4 months ago
Active rough shape estimation of unknown objects
— This paper presents a method to determine the rough shape of an object. This is a step in the development of a ”One Click Grasping Tool”, a grasping tool of everyday-life o...
Claire Dune, Éric Marchand, Christophe Coll...
MKM
2005
Springer
14 years 3 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
FAC
2010
107views more  FAC 2010»
13 years 7 months ago
Atomic actions, and their refinements to isolated protocols
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
Richard Banach, Gerhard Schellhorn