2490 search results - page 217 / 498 » Complexity of Contextual Reasoning |
136
click to vote
WSC
2001
15 years 6 months ago
2001
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...
119
click to vote
WSC
1998
15 years 6 months ago
1998
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...
189
click to vote
ENTCS
2006
15 years 5 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
148
click to vote
IJFCS
2006
15 years 5 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
167
click to vote
JAIR
2007
15 years 5 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...