2364 search results - page 435 / 473 » An Engine for Computing Well-Founded Models |
143
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Researchers have noticed that readers are increasingly skimming instead of reading in depth. Skimming also occur in re-reading activities, where the goal is to recall specific top...
157
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Several ways of using singular value decomposition (SVD), a linear algebra technique typically used for information retrieval, to decompose problems into subproblems are investiga...
166
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
125
Voted
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
143
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...