4573 search results - page 539 / 915 » Automated Reasoning |
136
click to vote
TIME
1997
IEEE
15 years 9 months ago
1997
IEEE
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...
134
click to vote
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
139
click to vote
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
135
Voted
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
133
click to vote
ICCBR
1997
Springer
15 years 9 months ago
1997
Springer
Previous work on feature weighting for case-based learning algorithms has tended to use either global weights or weights that vary over extremely local regions of the case space. T...