1536 search results - page 248 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
DOLAP
2004
ACM
15 years 3 months ago
2004
ACM
Parallelism can be used for major performance improvement in large Data warehouses (DW) with performance and scalability challenges. A simple low-cost shared-nothing architecture ...
DEXA
2003
Springer
15 years 3 months ago
2003
Springer
In recent years, link-based information retrieval methods from the Web are developed. A framework of these methods is a Web graph using pages as vertices and Web-links as edges. In...
ANNPR
2006
Springer
15 years 1 months ago
2006
Springer
We present a multiclass classification system for gray value images through boosting. The feature selection is done using the LPBoost algorithm which selects suitable features of a...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...