Sciweavers

6508 search results - page 151 / 1302
» Development and the Baldwin Effect
Sort
View
ICPR
2010
IEEE
15 years 10 months ago
Learning Affordances for Categorizing Objects and Their Properties
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...
Nilgun Dag, Ilkay Atil, Sinan Kalkan, Erol Sahin
DT
2007
57views more  DT 2007»
15 years 6 months ago
Leakage Minimization Technique for Nanoscale CMOS VLSI
This paper proposes a new heuristic approach to determine the input pattern that minimizes leakage currents of nanometer CMOS circuits during sleep mode considering stack and fano...
Kyung Ki Kim, Yong-Bin Kim, Minsu Choi, Nohpill Pa...
ISORC
2009
IEEE
16 years 1 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
BIRTHDAY
2008
Springer
15 years 8 months ago
From Monadic Logic to PSL
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
Moshe Y. Vardi
IFIP
2009
Springer
15 years 4 months ago
Making PROFIT at the Intermodal Terminal - A Research Agenda
: Intermodality has been a hot topic in the logistics sector for several decades, but the expected diffusion into business is still limited. The key to increased intermodalism lies...
Torbjörn H. Netland, Ingrid Spjelkavik