5630 search results - page 137 / 1126 » Computability in Specification |
169
click to vote
WAPCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
110
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I. The criterion used in the computation involves specific commutation polynomial...
138
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
The release of computer hardware devices based on “trusted computing” technologies is heralding a paradigm shift that will have profound implications for digital forensics. In...
119
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...