899 search results - page 104 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
SMA
2008
ACM
13 years 8 months ago
2008
ACM
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
DLOG
2003
13 years 10 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
In automated text categorization, given a small number of labeled documents, it is very challenging, if not impossible, to build a reliable classifier that is able to achieve high...