2757 search results - page 7 / 552 » On separating systems |
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
A new approach to the separation of multiple stacked cards is presented. Separation of multiple stacked cards is a key operation in many mechatronic devices such as copy machines ...
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
NECO
2000
14 years 9 months ago
2000
PERCEPTUAL systems routinely separate
IDA
2009
Springer
2009
Springer
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation
15 years 4 months ago
Abstract. This paper introduces the first community-based Signal Separation Evaluation Campaign (SiSEC 2008), coordinated by the authors. This initiative aims to evaluate source s...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...