7988 search results - page 313 / 1598 » A Useful Undecidable Theory |
130
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
135
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
168
Voted
ENGL
2008
15 years 5 months ago
2008
For lifestyle-related disease caused by recent change of eating habits in Japan, this paper proposes a menu planning method using rough set theory, and it can satisfy each individu...
147
click to vote
ENTCS
2007
15 years 5 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
129
click to vote
FSS
2007
15 years 5 months ago
2007
In the previous years some authors have been elaborating on the measurementtheoretic foundations of fuzzy set theory. A well-known problem in this approach is the difficult applic...