1536 search results - page 248 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
166
click to vote
DOLAP
2004
ACM
15 years 11 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 ...
160
click to vote
DEXA
2003
Springer
15 years 11 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...
189
click to vote
ANNPR
2006
Springer
15 years 10 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...
168
click to vote
COMPSAC
2007
IEEE
16 years 15 days 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 ...
141
click to vote
FOSSACS
2007
Springer
16 years 10 days 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...