8486 search results - page 1359 / 1698 » Ordered Enumeration Method |
159
click to vote
ICTAI
1999
IEEE
15 years 11 months ago
1999
IEEE
Many researchers have proposed classification systems that automatically classify email in order to reduce information overload. However, none of these systems are in use today. T...
249
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
162
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
216
click to vote
EWLR
1999
Springer
15 years 11 months ago
1999
Springer
In the field of evolutionary robotics artificial neural networks are often used to construct controllers for autonomous agents, because they have useful properties such as the ab...
186
click to vote
WMCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we study the inconsistency problem in data broadcast. While data items in a mobile computing system are being broadcast, update transactions may install new values ...