28 search results - page 6 / 6 » A Procedural Knowledge Approach to Task-Level Control |
AGP
2003
IEEE
15 years 2 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
TMC
2008
14 years 9 months ago
2008
Mutual network synchronization is a distributed method in which geographically separated clocks align their times to one another without the need of reference or master clocks. Mut...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...