14190 search results - page 2470 / 2838 » Abstractions for hybrid systems |
201
click to vote
COSIT
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
222
click to vote
CP
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
207
click to vote
FM
2001
Springer
16 years 5 days ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
206
click to vote
GCSE
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
214
click to vote
ICCBR
2001
Springer
16 years 5 days ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...