3133 search results - page 243 / 627 » Difference systems of sets and cyclotomy |
157
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
The energy-aware design for electronic systems has been an important issue in hardware and/or software implementations, especially for embedded systems. This paper targets a synth...
186
click to vote
NIPS
2001
15 years 8 months ago
2001
We describe a programmable multi-chip VLSI neuronal system that can be used for exploring spike-based information processing models. The system consists of a silicon retina, a PIC...
182
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
202
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
184
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...