Sciweavers

3897 search results - page 190 / 780
» complexity 2010
Sort
View
110
Voted
VAMOS
2010
Springer
15 years 4 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
134
Voted
ECAI
2010
Springer
15 years 3 months ago
Open-ended Grounded Semantics
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
Michael Spranger, Martin Loetzsch, Simon Pauw
124
Voted
ICASSP
2010
IEEE
15 years 2 months ago
High frame rate Motion Compensated Frame Interpolation in High-Definition video processing
Numerous MCFI methods have been proposed to increase the frame rate in the past ten years. However, these methods usually focus on how to double the frame rate and involve complex...
Yen-Lin Lee, Truong Nguyen
ICASSP
2010
IEEE
15 years 2 months ago
Rate distortion optimization for bidirectional scalable motion model
The fully scalable motion model (SMM) is proposed for scalable video codec by taking advantage of motion information scalability. In previous work, SMM has been improved to suppor...
Hu Chen, Meng-Ping Kao, Zhao Liu, Truong Nguyen
101
Voted
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 2 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...