Sciweavers

1805 search results - page 298 / 361
» A Theory of Closure Operators
Sort
View
CSCW
1999
ACM
15 years 3 months ago
Layers of Silence, Arenas of Voice: The Ecology of Visible and Invisible Work
No work is inherently either visible or invisible. We always "see" work through a selection of indicators: straining muscles, finished artifacts, a changed state of affai...
Susan Leigh Star, Anselm Strauss
SCP
2002
112views more  SCP 2002»
15 years 3 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
SLOGICA
2002
74views more  SLOGICA 2002»
15 years 3 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
TSMC
2002
156views more  TSMC 2002»
15 years 3 months ago
Varieties of learning automata: an overview
Automata models of learning systems introduced in the 1960s were popularized as learning automata (LA) in a survey paper in 1974 [1]. Since then, there have been many fundamental a...
M. A. L. Thathachar, P. Shanti Sastry
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 3 months ago
On Factor Universality in Symbolic Spaces
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
Laurent Boyer, Guillaume Theyssier