674 search results - page 54 / 135 » From Constructibility and Absoluteness to Computability and ... |
110
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
Block based motion compensation techniques make frequent use of Early Termination Algorithms (ETA) to reduce the computational cost of block matching process. ETAs have been well ...
130
click to vote
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
118
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
106
click to vote
AMR
2007
Springer
15 years 8 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
104
click to vote
ISMB
1993
15 years 3 months ago
1993
Construction of electronic repositories of metabolic information is an increasingly active area of research. Encoding detailed knowledge of a complex biological domain requires ï¬...