2757 search results - page 7 / 552 » On separating systems |
ICRA
2002
IEEE
14 years 17 days 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
14 years 2 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
13 years 7 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
14 years 2 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
13 years 11 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 ...