Sciweavers

688 search results - page 77 / 138
» The Flow Set with Partial Order
Sort
View
TCSV
2010
14 years 4 months ago
Efficient Video Quality Assessment Along Temporal Trajectories
We propose a new video quality assessment (VQA) algorithm--the motion compensated structural similarity index-that assesses not only spatial quality but also quality along temporal...
Anush K. Moorthy, Alan Conrad Bovik
100
Voted
BMCBI
2007
153views more  BMCBI 2007»
14 years 10 months ago
Estimating genealogies from linked marker data: a Bayesian approach
Background: Answers to several fundamental questions in statistical genetics would ideally require knowledge of the ancestral pedigree and of the gene flow therein. A few examples...
Dario Gasbarra, Matti Pirinen, Mikko J. Sillanp&au...
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 3 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
ICEIS
2000
IEEE
15 years 2 months ago
Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
Ana L. N. Fred, Joaquim Filipe
JIPS
2007
100views more  JIPS 2007»
14 years 9 months ago
Static Type Assignment for SSA Form in CTOC
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadv...
Ki-Tae Kim, Weon-Hee Yoo