1738 search results - page 237 / 348 » Local Consistency and SAT-Solvers |
201
click to vote
ACMMSP
2006
ACM
16 years 3 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
165
click to vote
CF
2006
ACM
16 years 3 days ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
160
click to vote
CF
2006
ACM
16 years 3 days ago
2006
ACM
The discrete wavelet transform (DWT) is used in several image and video compression standards, in particular JPEG2000. A 2D DWT consists of horizontal filtering along the rows fo...
154
Voted
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Text frame classification is needed in many applications such as event identification, exact event boundary identification, navigation, video surveillance in multimedia etc. To the...
144
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...