Sciweavers

5622 search results - page 621 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
KI
2009
Springer
16 years 2 months ago
On Defaults in Action Theories
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
Hannes Strass, Michael Thielscher
SAT
2007
Springer
126views Hardware» more  SAT 2007»
16 years 1 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
16 years 1 months ago
Evolving computer intrusion scripts for vulnerability assessment and log analysis
Evolutionary computation is used to construct undetectable computer attack scripts. Using a simulated operating system, we show that scripts can be evolved to cover their tracks a...
Julien Budynek, Eric Bonabeau, Ben Shargel
INFOCOM
1999
IEEE
15 years 12 months ago
Resource Allocation in a Multicast Tree
We consider how to allocate bandwidth in a multicast tree so as to optimize some global measure of performance. In our model each receiver has a budget to be used for bandwidth res...
Murali S. Kodialam, Steven H. Low
CHI
1998
ACM
15 years 12 months ago
Scripting Graphical Applications by Demonstration
Writing scripts (often called “macros”) can be helpful for automating repetitive tasks. Scripting facilities for text editors like Emacs and Microsoft Word have been widely us...
Brad A. Myers