Sciweavers

3207 search results - page 363 / 642
» A Semantics for HTN Methods
Sort
View
145
Voted
CIKM
2006
Springer
15 years 8 months ago
IR principles for content-based indexing and retrieval of functional brain images
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
Bing Bai, Paul B. Kantor, Nicu D. Cornea, Deborah ...
CLEANDB
2006
ACM
312views Database» more  CLEANDB 2006»
15 years 8 months ago
Efficiently Filtering RFID Data Streams
RFID holds the promise of real-time identifying, locating, tracking and monitoring physical objects without line of sight, and can be used for a wide range of pervasive computing ...
Yijian Bai, Fusheng Wang, Peiya Liu
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 8 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
APCSAC
2003
IEEE
15 years 8 months ago
On Implementing High Level Concurrency in Java
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
G. Stewart Von Itzstein, Mark Jasiunas
148
Voted
ASWC
2008
Springer
15 years 7 months ago
Catriple: Extracting Triples from Wikipedia Categories
As an important step towards bootstrapping the Semantic Web, many efforts have been made to extract triples from Wikipedia because of its wide coverage, good organization and rich ...
Qiaoling Liu, Kaifeng Xu, Lei Zhang, Haofen Wang, ...