7040 search results - page 402 / 1408 » The Single Model Principle |
194
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
175
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
155
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A recent approach to steerable needle design is based on combining pre-curved tubes concentrically. By rotating and extending the tubes with respect to each other, the position...
141
click to vote
GLOBECOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— Bandwidth constraint models have been a topic of intense discussions at the IETF meetings. Three conventional methods have been described in informational IETF RFCs and their p...
171
click to vote
PKDD
2005
Springer
16 years 8 days ago
2005
Springer
Mining regression models from spatial data is a fundamental task in Spatial Data Mining. We propose a method, namely Mrs-SMOTI, that takes advantage from a tight-integration with s...