Sciweavers

4035 search results - page 49 / 807
» Useless Actions Are Useful
Sort
View
SP
2008
IEEE
134views Security Privacy» more  SP 2008»
16 years 4 days ago
Lares: An Architecture for Secure Active Monitoring Using Virtualization
Host-based security tools such as anti-virus and intrusion detection systems are not adequately protected on today’s computers. Malware is often designed to immediately disable ...
Bryan D. Payne, Martim Carbone, Monirul I. Sharif,...
ICDIM
2007
IEEE
16 years 3 days ago
Equivalence detection using parse-tree normalization for math search
In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what the...
Mohammed Shatnawi, Abdou Youssef
SIGPRO
2008
90views more  SIGPRO 2008»
15 years 5 months ago
Some aspects of DOA estimation using a network of blind sensors
Recently, the DOA (Direction Of Arrival) estimation of an acoustic wavefront has been considered in a setting where the inference task is performed by a Wireless Sensor Network (W...
Marco Guerriero, Stefano Maranò, Vincenzo M...
IJCAI
2003
15 years 7 months ago
Describing Additive Fluents in Action Language C+
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Joohyung Lee, Vladimir Lifschitz
ICLP
2007
Springer
15 years 12 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli