Sciweavers

846 search results - page 58 / 170
» The Use of Z
Sort
View
IPCO
2001
184views Optimization» more  IPCO 2001»
13 years 10 months ago
Approximation Algorithms for the Minimum Bends Traveling Salesman Problem
Problem (Extended Abstract) Cliff Stein David P. Wagner Dartmouth College Computer Science Technical Report TR2000-367 May 9, 2000 The problem of traversing a set of points in the...
Clifford Stein, David P. Wagner
FASE
2003
Springer
14 years 2 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
ICIP
2005
IEEE
14 years 10 months ago
Evaluation of color spaces for edge classification in outdoor scenes
Knowing which edges in an image denote shadow edges and which are due to object boundaries or changes in surface reflectance has important applications in both computer vision and...
Erum Arif Khan, Erik Reinhard
ERCIMDL
1998
Springer
118views Education» more  ERCIMDL 1998»
14 years 1 months ago
E-Referencer: A Prototype Expert System Web Interface to Online Catalogs
Abstract. An expert system Web interface to online catalogs called EReferencer is being developed. An initial prototype has been implemented. The interface has a repertoire of init...
Christopher S. G. Khoo, Danny C. C. Poo, Teck-Kang...
APVIS
2003
13 years 10 months ago
The graphical interpretation of plausible tacit knowledge flows
Many organisations make effective use of their codified knowledge, but they often fail to make most efficient use of their tacit knowledge stocks. What we define here as tacit kno...
Peter Busch, Debbie Richards, Christopher N. G. Da...