1501 search results - page 25 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
CADE
2008
Springer
15 years 11 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-...
KDD
2004
ACM
15 years 11 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...
108
click to vote
IDA
2009
Springer
14 years 9 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...
125
click to vote
MBEES
2007
15 years 20 days 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...
131
click to vote
ICWS
2009
IEEE
14 years 9 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,...