7112 search results - page 380 / 1423 » Power in normative systems |
170
click to vote
MEMBRANE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we introduce a variant of membrane systems with elementary division and without charges. We allow only elementary division where the resulting membranes are identical...
180
click to vote
ISWC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes a wearable augmented reality (AR) system using invisible visual markers. Some AR systems use visual markers in order to measure the position and orientation o...
169
click to vote
MFCS
2005
Springer
16 years 7 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
156
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
172
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...