Sciweavers

1963 search results - page 122 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
ALMOB
2007
111views more  ALMOB 2007»
15 years 3 months ago
Transcriptional regulatory network discovery via multiple method integration: application to e. coli K12
Motivation: Transcriptional regulatory network (TRN) discovery from one method (e.g. microarray analysis, gene ontology, phylogenic similarity) does not seem feasible due to lack ...
Jingjun Sun, Kagan Tuncay, Alaa Abi Haidar, Lisa E...
126
Voted
BROADNETS
2007
IEEE
15 years 9 months ago
Modeling and analysis of worm interactions (war of the worms)
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
Sapon Tanachaiwiwat, Ahmed Helmy
ECAI
2006
Springer
15 years 7 months ago
Resolving Conflicts in Action Descriptions
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
JCS
2010
122views more  JCS 2010»
15 years 1 months ago
Provably correct inline monitoring for multithreaded Java-like programs
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Fran...
IJCAI
2007
15 years 4 months ago
Memory-Bounded Dynamic Programming for DEC-POMDPs
Decentralized decision making under uncertainty has been shown to be intractable when each agent has different partial information about the domain. Thus, improving the applicabil...
Sven Seuken, Shlomo Zilberstein