1119 search results - page 193 / 224 » On the Invariance of Ant System |
FOSSACS
2005
Springer
14 years 28 days 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...
SAS
2005
Springer
14 years 26 days 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...
AACC
2004
Springer
14 years 24 days 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...
SIBGRAPI
2003
IEEE
14 years 20 days 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
14 years 18 days 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...