Sciweavers

1757 search results - page 46 / 352
» Integrating and Extending JCSP
Sort
View
SARA
2009
Springer
14 years 4 months ago
Integrating Constraint Models for Sequential and Partial-Order Planning
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
Roman Barták, Daniel Toropila
CDC
2008
IEEE
14 years 4 months ago
Equivalence between Approximate Dynamic Inversion and Proportional-Integral control
—Approximate Dynamic Inversion (ADI) has been established as a method to control minimum-phase, nonaffine-incontrol systems. Previous results have shown that for single-input no...
Justin Teo, Jonathan P. How
AINA
2007
IEEE
14 years 4 months ago
Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...
Lifu Wang, Partha Dasgupta
HICSS
2007
IEEE
114views Biometrics» more  HICSS 2007»
14 years 4 months ago
Organizational Assimilation of Vertical Standards: An Integrative Model
Vertical standards are complex networked technologies whose assimilation is subject to extensive interorganizational dependence and network effects. Classical theories of diffusio...
Rubén A. Mendoza, T. Ravichandran
ROBOCUP
2005
Springer
98views Robotics» more  ROBOCUP 2005»
14 years 3 months ago
Integrating Collaboration and Activity-Oriented Planning for Coalition Operations Support
The use of planning assistant agents is an appropriate option to provide support for members of a coalition. Planning agents can extend the human abilities and be customised to att...
Clauirton de Siebra, Austin Tate