Sciweavers

3505 search results - page 490 / 701
» A Language for Human Action
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
PEPM
2011
ACM
14 years 9 months ago
Adaptation-based programming in java
Writing deterministic programs is often difficult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difficulty is also encounter...
Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto

Publication
193views
17 years 5 months ago
Addressing the Land Claims of Indigenous Peoples
Indigenous people have lived in the same locations for hundreds, if not thousands of years. The national governments involved either refuse to recognize the land claims of indigen...
Lawrence Susskind and Isabelle Anguelovski

Book
260views
17 years 2 months ago
Java Look and Feel Design Guidelines
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...
Sun Microsystems Inc
WWW
2003
ACM
16 years 7 months ago
Making XML Schema Easier to Read and Write
XML Schema is a rather complex schema language, partly because of its inherent complexity, and partly because of its XML syntax. In an effort to reduce the syntactic verboseness a...
Erik Wilde, Kilian Stillhard