Sciweavers

503 search results - page 62 / 101
» A Framework for Reasoning on Component Composition
Sort
View
ICIP
1998
IEEE
14 years 9 months ago
Adaptive Wavelet Packet Image Coding using an Estimation-Quantization Framework
In this paper, we extend the statistical model-based Estimation-Quantization (EQ) wavelet image coding algorithm introduced in [?] to include an adaptive transform component. For ...
Kannan Ramchandran, Mehmet Kivanç Mih&ccedi...
ATAL
2005
Springer
14 years 1 months ago
Towards a formal framework for the search of a consensus between autonomous agents
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
Leila Amgoud, Sihem Belabbes, Henri Prade
LPNMR
2007
Springer
14 years 1 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
JSW
2008
105views more  JSW 2008»
13 years 7 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
CIARP
2009
Springer
14 years 2 months ago
On Environmental Model-Based Visual Perception for Humanoids
In this article an autonomous visual perception framework for humanoids is presented. This model-based framework exploits the available knowledge and context acquired during global...
David Israel Gonzalez-Aguirre, S. Wieland, Tamim A...