Sciweavers

5336 search results - page 838 / 1068
» Steerable part models
Sort
View
VLDB
1991
ACM
157views Database» more  VLDB 1991»
15 years 10 months ago
Integrating Implicit Answers with Object-Oriented Queries
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
Hava T. Siegelmann, B. R. Badrinath
EXACT
2007
15 years 9 months ago
An MDP Approach for Explanation Generation
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
Francisco Elizalde, Luis Enrique Sucar, Alberto Re...
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 8 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
APLAS
2008
ACM
15 years 8 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
AUSDM
2008
Springer
225views Data Mining» more  AUSDM 2008»
15 years 8 months ago
Service-independent payload analysis to improve intrusion detection in network traffic
The popularity of computer networks broadens the scope for network attackers and increases the damage these attacks can cause. In this context, Intrusion Detection Systems (IDS) a...
Iñigo Perona, Ibai Gurrutxaga, Olatz Arbela...