Sciweavers

19892 search results - page 425 / 3979
» The POSTGRES Data Model
Sort
View
NIPS
2004
15 years 8 months ago
The Variational Ising Classifier (VIC) Algorithm for Coherently Contaminated Data
There has been substantial progress in the past decade in the development of object classifiers for images, for example of faces, humans and vehicles. Here we address the problem ...
Oliver M. C. Williams, Andrew Blake, Roberto Cipol...
NAACL
2001
15 years 8 months ago
Unsupervised Learning of Name Structure From Coreference Data
We present two methods for learning the structure of personal names from unlabeled data. The first simply uses a few implicit constraints governing this structure to gain a toehol...
Eugene Charniak
ACTA
2010
104views more  ACTA 2010»
15 years 6 months ago
Reachability results for timed automata with unbounded data structures
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Verifying Recursive Active Documents with Positive Data Tree Rewriting
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
Blaise Genest, Anca Muscholl, Zhilin Wu
JSAC
2008
70views more  JSAC 2008»
15 years 6 months ago
Managing a Peer-to-Peer Data Storage System in a Selfish Society
We compare two possible mechanisms to manage a peer-to-peer storage system, where participants can store data online on the disks of peers in order to increase data availability an...
Patrick Maillé, László Toka