1224 search results - page 110 / 245 » Theory decision by decomposition |
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
119
Voted
WSPI
2008
15 years 2 months ago
2008
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...
102
Voted
WCE
2007
15 years 1 months ago
2007
—Associative neural memories are models of biological phenomena that allow for the storage of pattern associations and the retrieval of the desired output pattern upon presentati...
101
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
A novel technique for time domain spatial sound reproduction using compressed sensing is presented. The presented technique is based on the application of compressed sensing theor...
111
click to vote
CONCUR
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...