Sciweavers

8671 search results - page 235 / 1735
» A generator for hierarchical problems
Sort
View
AMAST
2008
Springer
15 years 8 months ago
Generating Specialized Rules and Programs for Demand-Driven Analysis
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
IPPS
2005
IEEE
16 years 5 days ago
Some Issues in Solving the Anomaly Detection Problem using Immunological Approach
Results of an experimental study of an anomaly detection system based on the paradigm of artificial immune systems (AISs) are presented. Network traffic data are mapped into ant...
Franciszek Seredynski, Pascal Bouvry
ER
2004
Springer
82views Database» more  ER 2004»
15 years 12 months ago
Reachability Problems in Entity-Relationship Schema Instances
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
Sebastiano Vigna
MOC
2002
101views more  MOC 2002»
15 years 6 months ago
On the stability of a family of finite element methods for hyperbolic problems
We consider a family of tensor product finite element methods for hyperbolic equations in RN , N 2, which are explicit and generate a continuous approximate solution. The base cas...
Gerard R. Richter
DAM
2006
81views more  DAM 2006»
15 years 6 months ago
Equivalence-free exhaustive generation of matroid representations
Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite...
Petr Hlinený