1312 search results - page 117 / 263 » Formally Optimal Boxing |
AGILEDC
2007
IEEE
14 years 3 months ago
2007
IEEE
In a mature fortune 500 manufacturing company, such as 3M Company, many processes and procedures for developing products have been put in place over the years. Many of these tools...
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
P2P
2006
IEEE
14 years 3 months ago
2006
IEEE
Flat DHT architectures have been the main focus of the research on DHT design so far. However, there have been also a number of works proposing hierarchical DHT organizations and ...
ACCV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...