Sciweavers

422 search results - page 35 / 85
» Incremental Detection of Model Inconsistencies Based on Mode...
Sort
View
99
Voted
EMSOFT
2007
Springer
15 years 3 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
72
Voted
INTERSPEECH
2010
14 years 4 months ago
Continuous speech recognition with a TF-IDF acoustic model
Information retrieval methods are frequently used for indexing and retrieving spoken documents, and more recently have been proposed for voice-search amongst a pre-defined set of ...
Geoffrey Zweig, Patrick Nguyen, Jasha Droppo, Alex...
MIDDLEWARE
2009
Springer
15 years 2 months ago
How to Keep Your Head above Water While Detecting Errors
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
Ignacio Laguna, Fahad A. Arshad, David M. Grothe, ...
WACV
2002
IEEE
15 years 2 months ago
Boosting Image Orientation Detection with Indoor vs. Outdoor Classification
Automatic detection of image orientation is a very important operation in photo image management. In this paper, we propose an automated method based on the boosting algorithm to ...
Lei Zhang, Mingjing Li, HongJiang Zhang
ECCV
2006
Springer
15 years 11 months ago
Bilateral Filtering-Based Optical Flow Estimation with Occlusion Detection
Using the variational approaches to estimate optical flow between two frames, the flow discontinuities between different motion fields are usually not distinguished even when an an...
Jiangjian Xiao, Hui Cheng, Harpreet S. Sawhney, Ce...