Sciweavers

1342 search results - page 137 / 269
» Shape reasoning and understanding
Sort
View
ASWEC
2004
IEEE
14 years 1 months ago
A Process Framework for Characterising Security Properties of Component-Based Software Systems
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
Khaled M. Khan, Jun Han
AUSAI
2006
Springer
14 years 1 months ago
User Behavior Analysis of the Open-Ended Document Classification System
Real-world document classification is an open-ended problem, rather than a close-ended problem, because the document classification domain continually evolves as the time passes. U...
Yang Sok Kim, Byeong Ho Kang, Young Ju Choi, Sung ...
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
14 years 1 months ago
Structure and metaheuristics
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
Yossi Borenstein, Riccardo Poli
WLP
2000
Springer
14 years 27 days ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs
CHI
2009
ACM
14 years 19 days ago
Connecting the dots with related notes
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
Yedendra Babu Shrinivasan, David Gotz