9405 search results - page 1867 / 1881 » Computing a Model of Set Theory |
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
RTCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
A common computational model in distributed embedded systems is that the nodes exchange signals via a network. Most often a signal represents the state of some physical device and...
SIGMOD
1999
ACM
15 years 2 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
Classification is an important problem in data mining. Given a database of records, each with a class label, a classifier generates a concise and meaningful description for each c...
AGENTS
1997
Springer
15 years 1 months ago
1997
Springer
The Patient Advocate is designed to be an intelligent assistant for patient-centered health care. Residing on a home computer or special-purpose device and operating within an ext...