7715 search results - page 1294 / 1543 » Visual Rules Modeling |
206
click to vote
ARGMAS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
164
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
155
click to vote
DAWAK
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...
189
click to vote
ECAL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Proteins, under native conditions, fold to specific 3D structures according to their 1D amino acid sequence, which in turn is defined by the genetic code. The specific...
206
click to vote
ECML
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Principal component analysis (PCA) is a well-known classical data analysis technique. There are a number of algorithms for solving the problem, some scaling better than o...