251 search results - page 15 / 51 » Using self-dissimilarity to quantify complexity |
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...
118
click to vote
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
AAAI
1994
15 years 1 months ago
1994
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...