Sciweavers

7040 search results - page 337 / 1408
» The Single Model Principle
Sort
View
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
16 years 19 days ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
ECCV
2006
Springer
16 years 8 months ago
Molding Face Shapes by Example
Abstract. Human faces are remarkably similar in global properties, including size, aspect ratios, and locations of main features, but can vary considerably in details across indivi...
Ira Kemelmacher, Ronen Basri
ICMCS
2006
IEEE
111views Multimedia» more  ICMCS 2006»
16 years 22 days ago
Optimized Rate Allocation for Unbalanced Multiple Description Video Coding Over Unreliable Packet Network
Video transmission over unreliable packet network is in general hampered by the packet losses and constraint by stringent playback deadline. With these two key factors in consider...
Bin Li, Feng Huang, Lifeng Shu, Shiqiang Yang
FORTE
2004
15 years 8 months ago
Witness and Counterexample Automata for ACTL
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
TASLP
2011
15 years 1 months ago
A Probabilistic Interaction Model for Multipitch Tracking With Factorial Hidden Markov Models
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...
Michael Wohlmayr, Michael Stark, Franz Pernkopf