Sciweavers

899 search results - page 140 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
ICLP
2005
Springer
14 years 2 months ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran
APWEB
2006
Springer
14 years 12 days ago
Classifying Web Data in Directory Structures
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
Sofia Stamou, Alexandros Ntoulas, Vlassis Krikos, ...
ER
2008
Springer
108views Database» more  ER 2008»
13 years 10 months ago
Automatic Extraction of Structurally Coherent Mini-Taxonomies
In this paper we demonstrate an automatic approach for emergent semantics modeling of ontologies. We follow the collaborative ontology construction method without the direct intera...
Khalid Saleem, Zohra Bellahsene
CHI
2005
ACM
14 years 9 months ago
Comparing usability problems and redesign proposals as input to practical systems development
Usability problems predicted by evaluation techniques are useful input to systems development; it is uncertain whether redesign proposals aimed at alleviating those problems are l...
Erik Frøkjær, Kasper Hornbæk
GECCO
2008
Springer
132views Optimization» more  GECCO 2008»
13 years 9 months ago
Hybridizing an evolutionary algorithm with mathematical programming techniques for multi-objective optimization
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...
Saúl Zapotecas Martínez, Carlos A. C...