1995 search results - page 234 / 399 » The Chemical Abstract Machine |
143
click to vote
ICPPW
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...
139
click to vote
LICS
2009
IEEE
16 years 1 days ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
144
click to vote
ACG
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Complete tablebases, indicating best moves for every position, exist for chess endgames. There is no doubt that tablebases contain a wealth of knowledge, however, mining ...
153
click to vote
LFCS
2009
Springer
15 years 12 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
151
Voted
PRIB
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...