3229 search results - page 157 / 646 » Theories with the Independence Property |
113
click to vote
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
90
Voted
CLIMA
2004
15 years 2 months ago
2004
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
IJON
2006
15 years 24 days ago
2006
Sensory systems often use groups of redundant neurons to represent stimulus information both during transduction and population coding of features. This redundancy makes the syste...
91
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
99
Voted
MOBIQUITOUS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a framework prototype for sentient environments. The framework provides a generic interface to the applications for interacting with sentient artefacts in a un...