Sciweavers

12635 search results - page 2338 / 2527
» Which semantic web
Sort
View
CACM
2010
179views more  CACM 2010»
15 years 4 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
CGF
2007
158views more  CGF 2007»
15 years 4 months ago
Manipulating, Deforming and Animating Sampled Object Representations
A sampled object representation (SOR) defines a graphical model using data obtained from a sampling process, which takes a collection of samples at discrete positions in space in...
Min Chen, Carlos D. Correa, Shoukat Islam, Mark W....
IJCSA
2006
113views more  IJCSA 2006»
15 years 4 months ago
An Advanced XML Mediator for Heterogeneous Information Systems Based on Application Domain Specification
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...
Mostafa Ezziyyani, Mustapha Bennouna, Loubna Cherr...
JANCL
2008
109views more  JANCL 2008»
15 years 4 months ago
Conditionalization and total knowledge
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
Ian Pratt-Hartmann
139
Voted
AI
2004
Springer
15 years 4 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
« Prev « First page 2338 / 2527 Last » Next »