2757 search results - page 242 / 552 » On separating systems |
183
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
119
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
170
click to vote
EDOC
2007
IEEE
16 years 26 days ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
175
click to vote
BTW
2007
Springer
16 years 22 days ago
2007
Springer
: As Peer Data Management Systems (PDMS) are a focus of current research, there are lots of approaches like query processing or routing issues that have to be evaluated. Since ther...
160
click to vote
CBMS
2006
IEEE
16 years 18 days ago
2006
IEEE
Inductive learning systems have been successfully applied in a number of medical domains. It is generally accepted that the highest accuracy results that an inductive learning sys...