251 search results - page 15 / 51 » Using self-dissimilarity to quantify complexity |
ICCS
2003
Springer
15 years 6 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...
135
click to vote
FOSSACS
2008
Springer
15 years 2 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...
91
Voted
BIRTHDAY
2010
Springer
15 years 2 months 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 2 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 6 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...