Sciweavers

2291 search results - page 245 / 459
» Representational Reasoning and Verification
Sort
View
ISBI
2002
IEEE
16 years 7 months ago
Classifying convex sets for vessel detection in retinal images
We present a method to detect vessels in images of the retina. Instead of relying on pixel classification, as many detection algorithms do, we propose a more natural representatio...
Joes Staal, Stiliyan Kalitzin, Michael D. Abr&agra...
WWW
2003
ACM
16 years 7 months ago
A system for principled matchmaking in an electronic marketplace
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
CEC
2009
IEEE
16 years 1 months ago
Improved memetic algorithm for Capacitated Arc Routing Problem
— Capacitated Arc Routing Problem (CARP) has attracted much interest because of its wide applications in the real world. Recently, a memetic algorithm proposed by Lacomme et al. ...
Yi Mei, Ke Tang, Xin Yao
JELIA
2004
Springer
15 years 12 months ago
Logic Programs with Functions and Default Values
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
Pedro Cabalar, David Lorenzo
WSCG
2004
165views more  WSCG 2004»
15 years 8 months ago
A Client-Server-Scenegraph for the Visualization of Large and Dynamic 3D Scenes
With the increasing capabilities of hardware for 3D graphics and network, 3D multi-user environments get more and more interesting for e-business, entertainment and cooperative wo...
Jörg Sahm, Ingo Soetebier