4485 search results - page 284 / 897 » Equivalences on Observable Processes |
154
Voted
ARITH
2001
IEEE
15 years 8 months ago
2001
IEEE
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
157
click to vote
CEC
2003
IEEE
15 years 8 months ago
2003
IEEE
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...
143
click to vote
SIBGRAPI
2000
IEEE
15 years 8 months ago
2000
IEEE
Edge detection and image segmentation algorithms usually operate on an image to extract geometrical information based on pixel colors. For ray-traced images, the presence of geomet...
141
click to vote
DAC
1995
ACM
15 years 8 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
149
click to vote
AAAI
2008
15 years 6 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...