3206 search results - page 278 / 642 » How minds can be computational systems |
164
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
166
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
The field of view of a traditional camera has a fixed shape. This severely restricts how scene elements can be composed into an image. We present a novel imaging system that uses ...
170
click to vote
PRDC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Fault injection (FI) has been shown to be an effective approach to assessing the dependability of software systems. To determine the impact of faults injected during FI, a given...
170
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
185
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Computer System Administration and Network Administration are few such areas where Practical Extraction Reporting Language (Perl) has robust utilization these days apart from Bioi...