4385 search results - page 471 / 877 » Abstraction for Concurrent Objects |
163
click to vote
BC
2007
15 years 7 months ago
2007
Abstract Thesparsenessoftheencodingofstimulibysingle neurons and by populations of neurons is fundamental to understanding the efficiency and capacity of representations in the br...
170
click to vote
INTERNET
2007
15 years 6 months ago
2007
that the educator is an abstract role; often many kinds of people are involved, including subject-matter experts, content authors, instructional designers, and teachers. No individ...
174
click to vote
ICCHP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. There is a real need to have systems for people with visual disabilities to be able to improve their orientation and mobility skills, and especially for children to be ab...
220
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
231
click to vote
CC
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...