1174 search results - page 62 / 235 » A Logical Approach to Abstract Algebra |
EOR
2006
13 years 10 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
PTS
1998
13 years 11 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
SBCCI
2009
ACM
14 years 2 months ago
2009
ACM
Because of the aggressive scaling of integrated circuits and the given limits of atomic scales, circuit designers have to become more and more aware of the arising reliability and...