3199 search results - page 108 / 640 » Variability in Automation System Models |
128
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
112
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
125
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
138
Voted
COR
2007
15 years 2 months ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
111
Voted
IPMI
2005
Springer
15 years 7 months ago
2005
Springer
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...