3799 search results - page 250 / 760 » An Engineering Approach to Formal Methods |
232
click to vote
MEMETIC
2010
15 years 29 days ago
2010
In combinatorial solution spaces Iterated Local Search (ILS) turns out to be exceptionally successful. The question arises: is ILS also capable of improving the optimization proces...
188
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
140
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
138
click to vote
AH
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a comparison among several well-known machine learning techniques when they are used to carry out a one-session ahead prediction of page categories. We use reco...
114
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
— Being able to test the intrinsic performance of a device under test (DUT) has always been the main goal of a test engineer. Achieving this goal is becoming increasingly diffic...