1501 search results - page 25 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
151
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
128
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We consider the problem of improving named entity recognition (NER) systems by using external dictionaries--more specifically, the problem of extending state-of-the-art NER system...
149
Voted
IDA
2009
Springer
15 years 1 months ago
2009
Springer
We address the applicability of blind source separation (BSS) methods for the estimation of hidden influences in biological dynamic systems such as metabolic or gene regulatory net...
171
click to vote
MBEES
2007
15 years 5 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
176
Voted
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...