4635 search results - page 340 / 927 » Modeling Design Knowledge on Structure |
135
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
140
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
135
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an integrated pixel segmentation and region tracking algorithm, designed for indoor environments. Visual monitoring systems often use frame differencing techniques to i...
123
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern processing technologies offer a number of types of devices such as high-VT , low-VT , thick-oxide, etc. in addition to the nominal transistor in order to meet system perfor...
150
Voted
DAWAK
2004
Springer
15 years 10 months ago
2004
Springer
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...