4949 search results - page 662 / 990 » Consistency and Set Intersection |
186
click to vote
FSEN
2007
Springer
16 years 26 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
199
click to vote
GCC
2007
Springer
16 years 26 days ago
2007
Springer
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...
168
Voted
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
177
click to vote
GTTSE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
183
click to vote
IBPRIA
2007
Springer
16 years 26 days ago
2007
Springer
One of the major difficulties of handwriting recognition is the variability among symbols because of the different writer styles. In this paper we introduce the boosting of blurre...