Sciweavers

2231 search results - page 299 / 447
» Alternation as a programming paradigm
Sort
View
CVPR
2010
IEEE
15 years 11 months ago
Learning Weights for Codebook in Image Classification
This paper presents a codebook learning approach for image classification and retrieval. It corresponds to learning a weighted similarity metric to satisfy that the weighted simil...
Hongping Cai, Krystian Mikolajczyk, Fei Yan
ICCAD
1999
IEEE
66views Hardware» more  ICCAD 1999»
15 years 11 months ago
Test scheduling for core-based systems
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
Krishnendu Chakrabarty
PACT
1999
Springer
15 years 11 months ago
CDL++ for the Description of Moving Objects in Cellular Automata
We introduce a new model for objects which can move around on a cellular grid. The model consists of two phases, the movement phase and the con ict resolution phase. In the movemen...
Christian Hochberger, Rolf Hoffmann, Stefan Waldsc...
ECBS
1997
IEEE
103views Hardware» more  ECBS 1997»
15 years 11 months ago
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
J. S. Keane, Jerzy W. Rozenblit, Michael Barnes
ARTS
1997
Springer
15 years 11 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks