5630 search results - page 330 / 1126 » Computability in Specification |
175
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
The CSC (color structure code) is a robust and fast two dimensional segmentation method which has been already generalized to three dimensional images. As the CSC does not need an...
145
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
162
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
After a survey of some realizations of self-replicating machines, this paper presents the construction based selfreplication of universal 3D structures. This self-replication proc...
162
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
A standard technique from the hashing literature is to use two hash functions h1(x) and h2(x) to simulate additional hash functions of the form gi(x) = h1(x) + ih2(x). We demonstra...
188
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...