7715 search results - page 1294 / 1543 » Visual Rules Modeling |
150
Voted
ARGMAS
2007
Springer
15 years 9 months 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...
118
Voted
CAV
2007
Springer
15 years 9 months 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 ...
126
Voted
DAWAK
2007
Springer
15 years 9 months 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 ...
135
Voted
ECAL
2007
Springer
15 years 9 months 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...
157
Voted
ECML
2007
Springer
15 years 9 months 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...