4209 search results - page 419 / 842 » Abstract Dialectical Frameworks |
160
click to vote
AUSAI
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
184
Voted
BIRTHDAY
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
158
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
173
click to vote
FM
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
198
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...