1061 search results - page 81 / 213 » Integrity Constraints for Linked Data |
284
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
146
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
The performance of future manycore processors will only scale with the number of integrated cores if there is a corresponding increase in memory bandwidth. Projected scaling of el...
138
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
Differentiated Services (DS) is currently the major approach discussed to provide network layer service differentiation in IP networks. However, the discussion mainly addresses ï¬...
131
click to vote
IJCAI
1989
15 years 5 months ago
1989
This paper describes an approach to robotic control that is patterned after models of human skill acquisition. The intent is to develop robots capable of learning how to accomplis...
146
Voted
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...