Sciweavers

194 search results - page 32 / 39
» Capacity Control for Partially Ordered Feature Sets
Sort
View
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
16 years 1 days ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
85
Voted
CA
2002
IEEE
15 years 4 months ago
Specifying MPEG-4 Body Behaviors
The MPEG-4 standard specifies a set of low-level animation parameters for body animation, but does not provide any high-level functionality for the control of avatars or embodied...
Anthony Guye-Vuillème, Daniel Thalmann
ICPR
2008
IEEE
16 years 26 days ago
Change detection based on adaptive Markov Random Fields
Usually changes in remote sensing images go along with the appearance or disappearance of some edges. In addition, pixels located along the edges are likely to weakly influenced b...
Chunlei Huo, Hanqing Lu, Jian Cheng, Keming Chen, ...
ATAL
2003
Springer
15 years 4 months ago
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
Jeffrey M. Bradshaw, Andrzej Uszok, Renia Jeffers,...
CEC
2008
IEEE
15 years 6 months ago
On the generality of the evolved driving rules of an agent operating a model of a car
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
Hirotaka Yamazaki, Ivan Tanev, Tomoyuki Hiroyasu, ...