4872 search results - page 613 / 975 » CBR for Modeling Complex Systems |
190
click to vote
CONCUR
2003
Springer
16 years 22 hour ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
168
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
172
click to vote
FOCS
1997
IEEE
15 years 11 months ago
1997
IEEE
We prove old and new results on the complexity of computing the dimension of algebraic varieties. In particular, we show that this problem is NP-complete in the Blum-Shub-Smale mo...
192
click to vote
AKA
2004
15 years 8 months ago
2004
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
149
click to vote
EMNLP
2006
15 years 8 months ago
2006
Complex tasks like question answering need to be able to identify events in text and the relations among those events. We show that this event identification task and a related ta...