1111 search results - page 173 / 223 » A Conceptual Modeling Technique Based on Semantically Comple... |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Finding biological entities (such as genes or proteins) that satisfy certain conditions from texts is an important and challenging task in biomedical information retrieval and tex...
NSF
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We argue that the needs of many classes of modern applications, especially those targeted at mobile or wireless computing, demand the services of content-based publish/su...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
This paper presents a method to generate dynamic shading of image-based objects without geometric models. Since conventional rendering techniques cannot be used to render the shad...
SIGMETRICS
1996
ACM
14 years 28 days ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...