2501 search results - page 390 / 501 » Logics with Rank Operators |
129
click to vote
WSC
2000
15 years 5 months ago
2000
Designing semiconductor cluster tool systems is a complicated task due to the nature of automatic operations and various configurations of modules and task response priorities of ...
137
click to vote
SLP
1994
15 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
132
click to vote
ETS
2010
IEEE
15 years 5 months ago
2010
IEEE
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
123
click to vote
CCR
2006
15 years 4 months ago
2006
The presence of "unwanted" (or background) traffic in the Internet is a well-known fact. In principle any network that has been engineered without taking its presence in...
150
click to vote
IJSEKE
1998
15 years 4 months ago
1998
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...