Sciweavers

9166 search results - page 387 / 1834
» A framework for comparing models of computation
Sort
View
ACL
2010
15 years 4 months ago
A Statistical Model for Lost Language Decipherment
In this paper we propose a method for the automatic decipherment of lost languages. Given a non-parallel corpus in a known related language, our model produces both alphabetic map...
Benjamin Snyder, Regina Barzilay, Kevin Knight
QEST
2008
IEEE
16 years 1 months ago
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye...
BMVC
2000
15 years 8 months ago
3D Model Acquisition by Tracking 2D Wireframes
This paper presents a semi-automatic wireframe acquisition system. The system uses real-time (25Hz) tracking of a user specified 2D wireframe and intermittent camera pose paramete...
M. Brown, Tom Drummond, Roberto Cipolla
185
Voted
DEM
2001
Springer
198views GIS» more  DEM 2001»
15 years 11 months ago
Modeling of Ecosystems as a Data Source for Real-Time Terrain Rendering
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
Johan Hammes
BIRTHDAY
2010
Springer
15 years 7 months ago
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich