186 search results - page 25 / 38 » Compositional modeling and refinement for hierarchical hybri... |
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
177
click to vote
GIS
2006
ACM
16 years 21 days ago
2006
ACM
Topological relationships between objects in space are of great importance in many disciplines. Recently, topological relationships have been defined for complex spatial objects. ...
102
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
104
click to vote
GECCO
2008
Springer
15 years 22 days ago
2008
Springer
This paper presents an efficient hybrid feature selection model based on Support Vector Machine (SVM) and Genetic Algorithm (GA) for large healthcare databases. Even though SVM an...
SCA
2007
15 years 2 months ago
2007
Although mesh-based methods are efficient for simulating simple hyperelasticity, maintaining and adapting a mesh-based representation is less appealing in more complex scenarios, ...