1091 search results - page 68 / 219 » The State of Cognitive Systems Engineering |
149
Voted
ICEIS
2008
IEEE
16 years 10 days ago
2008
IEEE
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...
137
click to vote
FSTTCS
2007
Springer
16 years 2 days ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
166
click to vote
CSMR
2007
IEEE
16 years 7 days ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
154
click to vote
CCECE
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
181
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...