Sciweavers

3775 search results - page 570 / 755
» The Expression Problem Revisited
Sort
View
161
Voted
ICDE
2006
IEEE
208views Database» more  ICDE 2006»
15 years 11 months 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
15 years 11 months 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...
128
Voted
ISCAS
2006
IEEE
86views Hardware» more  ISCAS 2006»
15 years 11 months 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
15 years 11 months 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...
181
Voted
ACL2
2006
ACM
15 years 11 months 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