Sciweavers

9015 search results - page 1320 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
FOIKS
2004
Springer
16 years 1 months ago
Query Answering and Containment for Regular Path Queries under Distortions
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...
Gösta Grahne, Alex Thomo
CSCW
2008
ACM
15 years 9 months ago
Are you sleeping?: sharing portrayed sleeping status within a social network
Within a group of peers, it is often useful or interesting to know whether someone in the group has gone to bed or whether they have awakened in the morning. This information, nat...
Sunyoung Kim, Julie A. Kientz, Shwetak N. Patel, G...
RIAO
2000
15 years 9 months ago
Allowing users to weight search terms
Informationretrieval systems typically weight the importance of search terms according to document and collection statistics (such as by using tf idf scores, where less commonterm...
Ronald Fagin, Yoëlle S. Maarek
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 8 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
16 years 2 months ago
A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Rames...
« Prev « First page 1320 / 1803 Last » Next »