2364 search results - page 65 / 473 » An Engine for Computing Well-Founded Models |
185
click to vote
ICSNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Nowadays, path prediction is being extensively examined for use in the context of mobile and wireless computing towards more efficient network resource management schemes. Path pr...
127
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
147
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
130
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We present the WarpEngine, an architecture designed for realtime image-based rendering of natural scenes from arbitrary viewpoints. The modeling primitives are real-world images w...
151
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...