6960 search results - page 1202 / 1392 » Continuity Analysis of Programs |
121
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
133
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
146
Voted
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
Though both quantity and quality of semantic concept detection in video are continuously improving, it still remains unclear how to exploit these detected concepts as semantic ind...
128
Voted
CIVR
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the technical details of SemRetriev, a prototype system for image retrieval which combines the use of an ontology which structures an image repository and of ...
123
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...