Sciweavers

622 search results - page 53 / 125
» Understanding and Extending Graphplan
Sort
View
ECBS
2006
IEEE
122views Hardware» more  ECBS 2006»
14 years 2 months ago
Customer-oriented Development of Complex Distributed Systems
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
Ivonne Erfurth
DGO
2007
124views Education» more  DGO 2007»
13 years 10 months ago
Assessing capability for justice information sharing
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...
Anthony M. Cresswell, Theresa A. Pardo, Shahidul H...
BMCBI
2010
124views more  BMCBI 2010»
13 years 8 months ago
Comparative analysis of acute and chronic corticosteroid pharmacogenomic effects in rat liver: Transcriptional dynamics and regu
Background: Comprehensively understanding corticosteroid pharmacogenomic effects is an essential step towards an insight into the underlying molecular mechanisms for both benefici...
Tung T. Nguyen, Richard R. Almon, Debra C. DuBois,...
PODS
2008
ACM
178views Database» more  PODS 2008»
14 years 8 months ago
The chase revisited
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
Alin Deutsch, Alan Nash, Jeffrey B. Remmel
POPL
2010
ACM
14 years 6 months ago
Contracts Made Manifest
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
Benjamin C. Pierce, Michael Greenberg, Stephanie W...