Sciweavers

2024 search results - page 166 / 405
» The Meaning of Ordered SOS
Sort
View
CSCW
2004
ACM
15 years 6 months ago
Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities
We describe a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. Our approach is...
Jürgen Vogel, Werner Geyer, Li-Te Cheng, Mich...
CORR
2002
Springer
132views Education» more  CORR 2002»
15 years 6 months ago
Robust Feature Selection by Mutual Information Distributions
Mutual information is widely used in artificial intelligence, in a descriptive way, to measure the stochastic dependence of discrete random variables. In order to address question...
Marco Zaffalon, Marcus Hutter
FAC
2000
124views more  FAC 2000»
15 years 6 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
CORR
1998
Springer
104views Education» more  CORR 1998»
15 years 6 months ago
Monotonicity and Persistence in Preferential Logics
An important characteristic of many logics for Arti cial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequ...
Joeri Engelfriet
CORR
1998
Springer
117views Education» more  CORR 1998»
15 years 6 months ago
A Human - machine interface for teleoperation of arm manipulators in a complex environment
This paper discusses the feasibility of using conguration space C-space as a means of visualization and control in operator-guided real-time motion of a robot arm manipulator. T...
Igor Ivanisevic, Vladimir J. Lumelsky