2713 search results - page 442 / 543 » Parameterized Tree Systems |
173
Voted
ISCAPDCS
2003
15 years 7 months ago
2003
Data intensive service functions such as memory allocation/de-allocation, data prefetching, and data relocation can pollute processor cache in conventional systems since the same ...
196
Voted
CIBCB
2009
IEEE
15 years 7 months ago
2009
IEEE
Machine Learning techniques are successfully applied to establish quantitative relations between chemical structure and biological activity (QSAR), i.e. classify compounds as activ...
165
click to vote
EAAI
2010
15 years 6 months ago
2010
This paper addresses the problem of fault detection and isolation in railway track circuits. A track circuit can be considered as a large-scale system composed of a series of trim...
186
Voted
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
175
click to vote
GEOINFORMATICA
2006
15 years 6 months ago
2006
With the rapid advancements in positioning technologies such as the Global Positioning System (GPS) and wireless communications, the tracking of continuously moving objects has bec...