5200 search results - page 27 / 1040 » Symbolic models for control systems |
120
click to vote
CONTEXT
2001
Springer
15 years 6 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
132
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
99
Voted
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
139
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
113
click to vote
IWANN
2005
Springer
15 years 7 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...