1111 search results - page 148 / 223 » A Conceptual Modeling Technique Based on Semantically Comple... |
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
VEE
2006
ACM
14 years 2 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
This paper presents a technique for determining an object's shape based on the similarity of radiance changes observed at points on its surface under varying illumination. To...
WOSP
1998
ACM
14 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...