1180 search results - page 98 / 236 » Information, evolution and |
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
In the problem of image interpolation, most of the difficulties arise in areas around edges and sharp changes. Around edges, many interpolation methods tend to smooth and blur ima...
WECWIS
2008
IEEE
14 years 2 months ago
2008
IEEE
To keep an overview on complex E-Commerce collaborations several models are used to describe them. When models overlap in describing a collaboration, the overlapping information s...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
AbstractThis paper describes the evolution of controllers for racing a simulated radio-controlled car around a track, modelled on a real physical track. Five different controller a...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
CEEMAS
2003
Springer
14 years 1 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...