Sciweavers

1870 search results - page 26 / 374
» Abstract And-Parallel Machines
Sort
View
SCP
1998
113views more  SCP 1998»
13 years 7 months ago
Linear-Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
Eva Rose
FUIN
2002
80views more  FUIN 2002»
13 years 7 months ago
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
Joaquin Aguado, Tudor Balanescu, Anthony J. Cowlin...
TNN
2010
173views Management» more  TNN 2010»
13 years 2 months ago
Multiclass relevance vector machines: sparsity and accuracy
Abstract--In this paper we investigate the sparsity and recognition capabilities of two approximate Bayesian classification algorithms, the multi-class multi-kernel Relevance Vecto...
Ioannis Psorakis, Theodoros Damoulas, Mark A. Giro...
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
13 years 6 months ago
"Architectural Robotics": An interdisciplinary course rethinking the machines we live in
Abstract— We discuss disciplinary barriers which have traditionally prevented robotics from significantly impacting the built (architectural) environment we inhabit. Specifical...
Apoorva Kapadia, Ian D. Walker, Keith Evan Green, ...
ASM
2003
ASM
14 years 1 months ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani