Sciweavers

974 search results - page 98 / 195
» A Lightweight Approach to Semantic Annotation of Research Pa...
Sort
View
DICTA
2008
15 years 7 months ago
Digital Image Retrieval Using Intermediate Semantic Features and Multistep Search
Recently, semantic image retrieval has attracted large amount of interest due to the rapid growth of digital image storage. However, existing approaches have severe limitations. I...
Dengsheng Zhang, Ying Liu, Jin Hou
WAC
2004
Springer
15 years 11 months ago
Semantic-Based Policy Engineering for Autonomic Systems
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
David Lewis, Kevin Feeney, Kevin Carey, Thanassis ...
CHARME
2003
Springer
100views Hardware» more  CHARME 2003»
15 years 11 months ago
Inductive Assertions and Operational Semantics
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
J. Strother Moore
WCRE
2009
IEEE
16 years 1 months ago
FAMOOSr 2009 - Workshop on FAMIX and Moose in Software Reengineering
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
Simon Denier, Tudor Gîrba
ICCV
1995
IEEE
15 years 10 months ago
Closed-World Tracking
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
Stephen S. Intille, Aaron F. Bobick