Sciweavers

3775 search results - page 570 / 755
» The Expression Problem Revisited
Sort
View
ICDE
2006
IEEE
208views Database» more  ICDE 2006»
16 years 19 days ago
Integrating Databases into the Semantic Web through an Ontology-Based Framework
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
Dejing Dou, Paea LePendu, Shiwoong Kim, Peishen Qi
ICPP
2006
IEEE
16 years 19 days ago
A Stochastic Approach to Measuring the Robustness of Resource Allocations in Distributed Systems
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
Vladimir Shestak, Jay Smith, Howard Jay Siegel, An...
ISCAS
2006
IEEE
86views Hardware» more  ISCAS 2006»
16 years 18 days ago
Fast timing analysis of plane circuits via two-layer CNN-based modeling
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
Yuichi Tanji, Hideki Asai, Masayoshi Oda, Yoshifum...
ACCV
2006
Springer
16 years 18 days ago
Tracking with the Kinematics of Extremal Contours
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...
David Knossow, Rémi Ronfard, Radu Horaud, F...
ACL2
2006
ACM
16 years 17 days ago
Parameterized congruences in ACL2
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
David Greve