5863 search results - page 773 / 1173 » On Model-Checking of P Systems |
161
Voted
SC
2005
ACM
16 years 11 days ago
2005
ACM
In this paper, a systematic study of the effects of complexity of prediction methodology on its accuracy for a set of real applications on a variety of HPC systems is performed. R...
163
click to vote
CIE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
224
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Optimization problems such as resource allocation, job-shop scheduling, equipment utilization and process scheduling occur in a broad range of processing industries. This paper pr...
214
click to vote
HYBRID
2005
Springer
16 years 10 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
196
click to vote
INEX
2005
Springer
16 years 10 days ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...