1119 search results - page 193 / 224 » On the Invariance of Ant System |
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
107
click to vote
SAS
2005
Springer
15 years 3 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
183
click to vote
AACC
2004
Springer
15 years 3 months ago
2004
Springer
Searching on the Internet has grown in importance over the last few years, as huge amount of information is invariably accumulated on the Web. The problem involves locating the des...
115
click to vote
SIBGRAPI
2003
IEEE
15 years 2 months ago
2003
IEEE
Content-Based Image Retrieval (CBIR) systems have been developed aiming at enabling users to search and retrieve images based on their properties such as shape, color and texture....
ICMI
2003
Springer
15 years 2 months ago
2003
Springer
The natural role of sound in actions involving mechanical impact and vibration suggests the use of auditory display as an augmentation to virtual haptic interfaces. In order to bu...