1472 search results - page 139 / 295 » Technique Integration for Requirements Assessment |
131
click to vote
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
177
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
162
Voted
AAAI
2006
15 years 7 months ago
2006
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
163
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
In many domains there are specific attributes in documents that carry more weight than the general words in the document. This paper proposes the use of information extraction tec...
145
Voted
CCE
2004
15 years 6 months ago
2004
: This paper presents a meta-heuristic optimization algorithm, Tabu Search (TS), and describes how it can be used to solve a wide variety of chemical engineering problems. Modifica...