561 search results - page 55 / 113 » Inferring better contracts |
COSIT
2001
Springer
14 years 6 days ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
IPMI
1999
Springer
13 years 12 months ago
1999
Springer
Today, most studies of cognitive processes using functional MRI (fMRI) experiments adopt highly flexible stimulation designs, where not only the activation amount but also the tim...
CCGRID
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper presents an eco-friendly daemon that reduces power and energy consumption while better maintaining high performance via an accurate workload characterization that infer...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...