Sciweavers

2414 search results - page 179 / 483
» Reasoning Support for OWL-E
Sort
View
ADBIS
2008
Springer
142views Database» more  ADBIS 2008»
16 years 15 days ago
Evaluating Performance and Quality of XML-Based Similarity Joins
A similarity join correlating fragments in XML documents, which are similar in structure and content, can be used as the core algorithm to support data cleaning and data integratio...
Leonardo Ribeiro, Theo Härder
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
16 years 10 days ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
POLICY
2007
Springer
16 years 8 days ago
Call Management Policy Specification for the Asterisk Telephone Private Branch Exchange
A VoIP PBX supports flexible call handling functionality for selective forwarding, cost based outward call routing, recording calls etc. Both users and administrators need a flexi...
George Konstantoulakis, Morris Sloman
IEEEICCI
2006
IEEE
16 years 6 days ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding
IROS
2006
IEEE
82views Robotics» more  IROS 2006»
16 years 5 days ago
Mission Reliability Estimation for Multirobot Team Design
 One reason given for the use of multirobot systems is that many cheap robots are more reliable than one expensive robot. To date, however, there has been no quantitative analys...
S. B. Stancliff, John M. Dolan, Ashitey Trebi-Olle...