Sciweavers

34181 search results - page 489 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
HYBRID
1999
Springer
15 years 8 months ago
Computing Controllers for Nonlinear Hybrid Systems
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
Claire Tomlin, John Lygeros, Shankar Sastry
FLAIRS
2010
15 years 6 months ago
A Game Playing System for Use in Computer Science Education
The MAPLE Game Playing System is a web application and website that allows students to design and program game playing agents using the Python programming language. The system pro...
James MacGlashan, Don Miner, Marie desJardins
BILDMED
2008
15 years 6 months ago
A Knowledge-Based System for the Computer Assisted Diagnosis of Endoscopic Images
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...
Andreas Kage, Christian Münzenmayer, Thomas W...
ERCIM
2007
125views more  ERCIM 2007»
15 years 4 months ago
Workflow Management Systems for Grid Computing
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
Carmen Bratosin, Wil M. P. van der Aalst
RTSS
1994
IEEE
15 years 8 months ago
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...