3239 search results - page 571 / 648 » A Logical Process Calculus |
95
Voted
ICEIS
2002
IEEE
15 years 5 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
125
Voted
ICTAI
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...
118
Voted
SARA
2009
Springer
15 years 5 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
100
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
135
click to vote
FPGA
2001
ACM
15 years 5 months ago
2001
ACM
Discrete wavelet transformations (DWT) followed by embedded zerotree encoding is a very efficient technique for image compression [2, 5, 4]. However, the algorithms proposed in l...