11017 search results - page 250 / 2204 » Closure Systems and their Structure |
163
click to vote
IJRR
2006
15 years 5 months ago
2006
Future space applications will require robotic systems to assemble, inspect, and maintain large space structures in orbit. For effective planning and control, robots will need to ...
144
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper deals with the problem of structuralizing education and training videos for high-level semantics extraction and nonlinear media presentation in e-learning applications....
149
click to vote
FM
2009
Springer
16 years 14 days ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
120
click to vote
IFM
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
137
click to vote
GBRPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this article we try to make different kinds of information cooperate in a characters recognition system addressing old Greek and Egyptians documents. We first use a ...