7311 search results - page 1256 / 1463 » Time in State Machines |
163
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
141
Voted
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
160
Voted
EUROCAST
2003
Springer
15 years 11 months ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
166
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
175
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...