2689 search results - page 236 / 538 » ParalleX: A Study of A New Parallel Computation Model |
212
click to vote
IAJIT
2011
14 years 10 months ago
2011
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
161
click to vote
IADIS
2004
15 years 8 months ago
2004
The computer revolution and Internet expansion in parallel with multimedia advancement have radically changed the way that knowledge is disseminated. All over the world researches...
182
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Machine Science, or Data-driven Research, is a new and interesting scientific methodology that uses advanced computational techniques to identify, retrieve, classify and analyse da...
166
Voted
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Sparse Grids are the basis for efficient high dimensional approximation and have recently been applied successfully to predictive modelling. They are spanned by a collection of si...
147
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...