1174 search results - page 146 / 235 » Derivation of Characteristic Formulae |
139
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
128
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Open channel flow is traditionally described by hyperbolic conservation laws (the Saint-Venant equations), that can be controlled using boundary conditions. For horizontal friction...
154
click to vote
CEAS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we consider the approach to image spam filtering based on using image classifiers aimed at discriminating between ham and spam images, previously proposed by other a...
129
Voted
DEBS
2007
ACM
15 years 6 months ago
2007
ACM
Content delivery is becoming increasingly popular on the Internet. There are many ways to match content to subscribers. In this paper, we focus on subsumption-based matching. We p...
134
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...