1064 search results - page 154 / 213 » Disjoint Systems (Extended Abstract) |
127
Voted
APAL
2010
15 years 3 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
112
click to vote
CG
2000
Springer
15 years 3 months ago
2000
Springer
Visualization of multi-dimensional data is a challenging task. The goal is not the display of multiple data dimensions, but user comprehension of the multi-dimensional data. This p...
168
click to vote
ASE
1998
15 years 3 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
125
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
178
Voted
AROBOTS
2010
15 years 2 months ago
2010
Abstract Modern service robots will soon become an essential part of modern society. As they have to move and act in human environments, it is essential for them to be provided wit...