2060 search results - page 235 / 412 » Some Applications of Coding Theory in Computational Complexi... |
182
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
Curvature flows have been extensively considered from a deterministic point of view. They have been shown to be useful for a number of applications including crystal growth, flame...
104
click to vote
HT
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a historical view of hypertext looking at preweb hypertext as a domesticated species bred in captivity, and arguing that on the web, some breeds of hypertext h...
132
Voted
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
196
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
150
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...