Sciweavers

19985 search results - page 442 / 3997
» Modelling Ecological Data
Sort
View
WSC
2007
15 years 9 months ago
SIMVIS: interactive visual analysis of large and time-dependent 3D simulation data
SimVis is a novel technology for the interactive visual analysis of large and complex flow data which results from Computational Fluid Dynamics (CFD) simulation. The new technolo...
Helmut Doleisch
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...
171
Voted
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 7 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 7 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