381 search results - page 21 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
102
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
135
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. There is currently a large interest in relational probabilistic models. While the concept of context-specific independence (CSI) has been well-studied for models such as ...
125
click to vote
ATVA
2004
Springer
15 years 6 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
IJFCS
2006
15 years 1 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
BIBE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—The wavelet entropy (WE) of rest electroencephalogram (EEG) and of event-related potentials (ERP) carries information about the degree of order or disorder associated wi...