675 search results - page 29 / 135 » Using Fairness to Make Abstractions Work |
121
click to vote
ISQED
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
123
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— The future of robots, as our companions is dependent on their ability to understand, interpret and represent the environment in a human compatible manner. Towards this ...
120
Voted
KER
2008
15 years 1 months ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
211
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
114
click to vote
IPMI
2001
Springer
16 years 2 months ago
2001
Springer
Abstract. This paper presents a new and integrated approach to automatic 3D brain vessel segmentation using physics-based statistical models of background and vascular signals, and...