1268 search results - page 50 / 254 » One Logic to Use Them All |
BMCBI
2007
13 years 10 months ago
2007
Background: DNA microarray experiments are conducted in logical sets, such as time course profiling after a treatment is applied to the samples, or comparisons of the samples unde...
CADE
2004
Springer
14 years 3 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
WSC
1998
13 years 11 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
WSC
2001
13 years 11 months ago
2001
At one time or another we have all faced the doubters who wonder why they need to use simulation. We have wowed our potential clients with animation, left them in awe at our grasp...
RIDE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we present a scheme for identifying instances of events and extracting information about them. The scheme can handle all events with which an action can be associat...