Sciweavers

1699 search results - page 154 / 340
» A timed semantics of Orc
Sort
View
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 8 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
14 years 9 months ago
Bringing Precision to Desktop Search: A Predicate-based Desktop Search Architecture
Google and other products have revolutionized the way we search for information on the Internet, Intranet, and on our desktop. However, the current generation of search products d...
Jens-Peter Dittrich, Cristian Duda, Bjorn Jarisch,...
WWW
2005
ACM
14 years 8 months ago
Constructing extensible XQuery mappings
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
Gang Qian, Yisheng Dong
POPL
2010
ACM
14 years 5 months ago
Verified just-in-time compiler on x86
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
Magnus O. Myreen
SAC
2010
ACM
14 years 2 months ago
Applying taxonomic knowledge to Bayesian belief network for personalized search
Keyword-based search returns its results without concern for the information needs of users at a particular time. In general, search queries are too short to represent what users ...
Jae-won Lee, Han-joon Kim, Sang-goo Lee