3521 search results - page 515 / 705 » Algorithmic Control in Concurrent Computations |
133
Voted
CIIA
2009
15 years 4 months ago
2009
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
105
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
This paper is concerned with outer approximations of the minimal disturbance invariant set (MDIS) of a discrete-time linear system with an additive set-bounded disturbance. The k-...
156
click to vote
ENTCS
2007
15 years 3 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
132
Voted
FUIN
2007
15 years 3 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
139
Voted
IJAMC
2007
15 years 3 months ago
2007
: This paper presents a gesture-based Human-Computer Interface (HCI) to navigate a learning object repository mapped in a 3D virtual environment. With this interface, the user can ...