5499 search results - page 387 / 1100 » Generalized Rewrite Theories |
193
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
Opportunistic activity and context recognition systems do not presume a static sensor infrastructure that is defined at the design time of a system. They also do not have a fixed ...
208
click to vote
GRC
2008
IEEE
15 years 8 months ago
2008
IEEE
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...
185
click to vote
AO
2008
15 years 7 months ago
2008
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
190
click to vote
ECCC
2010
15 years 7 months ago
2010
The IP theorem, which asserts that IP = PSPACE (Lund et. al., and Shamir, in J. ACM 39(4)), is one of the major achievements of complexity theory. The known proofs of the theorem ...
179
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...