Sciweavers

6884 search results - page 1081 / 1377
» The macro-structure of use of help
Sort
View
IFIP
2009
Springer
16 years 1 months ago
On Designing for Tussle: Future Internet in Retrospect
Abstract. Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants...
Costas Kalogiros, Alexandros Kostopoulos, Alan For...
LPNMR
2009
Springer
16 years 1 months ago
The Complexity of Circumscriptive Inference in Post's Lattice
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
Michael Thomas
PPDP
2009
Springer
16 years 1 months ago
Future contracts
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
Christos Dimoulas, Riccardo Pucella, Matthias Fell...
SG
2009
Springer
16 years 1 months ago
An Interface for Assisting the Design and Production of Pop-Up Card
This paper describes an interface for assisting the design and production of pop-up cards by using a computer. A pop-up card is a piece of a folded paper from which a three-dimensi...
Sosuke Okamura, Takeo Igarashi
ICUIMC
2009
ACM
16 years 1 months ago
Metadata management for integration and analysis of earth observation data
Earth observation technologies have developed rapidly during the last decades. Substantial amounts of earth observation data have been acquired and stored among the literature and...
Akira Takahashi, Masashi Tatedoko, Hiroko Kinutani...
« Prev « First page 1081 / 1377 Last » Next »