Sciweavers

1900 search results - page 323 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
FORMATS
2006
Springer
15 years 1 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu
RECOMB
2000
Springer
15 years 1 months ago
Using Bayesian networks to analyze expression data
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
Nir Friedman, Michal Linial, Iftach Nachman, Dana ...
DGO
2007
97views Education» more  DGO 2007»
14 years 11 months ago
Interactive exploration and discovery of e-government services
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
Giovanni Maria Sacco
TASLP
2010
106views more  TASLP 2010»
14 years 4 months ago
Efficient and Robust Music Identification With Weighted Finite-State Transducers
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
Mehryar Mohri, Pedro Moreno, Eugene Weinstein
CVPR
2010
IEEE
15 years 5 months ago
Piecewise Planar and Non-Planar Stereo for Urban Scene Reconstruction
Piecewise planar models for stereo have recently become popular for modeling indoor and urban outdoor scenes. The strong planarity assumption overcomes the challenges presented by...
David Gallup, Jan-Michael Frahm, Marc Pollefeys