1596 search results - page 135 / 320 » Human-Guided Simple Search |
126
click to vote
NETCOOP
2007
Springer
15 years 10 months ago
2007
Springer
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...
132
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
144
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
We describe our experiments for the Image CLEF medical retrieval task. Our efforts were focused on the initial visual search. A content based approach was followed. We used textur...
116
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
155
click to vote
ARITH
2003
IEEE
15 years 9 months ago
2003
IEEE
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...