10891 search results - page 178 / 2179 » Combining Model Reductions |
112
Voted
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
119
Voted
NIPS
2007
15 years 4 months ago
2007
Under natural viewing conditions, human observers shift their gaze to allocate processing resources to subsets of the visual input. Many computational models try to predict such v...
98
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
Interconnect reduction is an important step in the design and analysis of complex interconnects found in present-day integrated circuits. This paper presents techniques for obtain...
127
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
109
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...