331 search results - page 52 / 67 » HOLCF: Higher Order Logic of Computable Functions |
107
click to vote
JSAC
2006
15 years 14 days ago
2006
We consider the problem of traffic grooming in WDM path, star, and tree networks. Traffic grooming is a variant of the well-known logical topology design, and is concerned with the...
FCCM
2003
IEEE
15 years 5 months ago
2003
IEEE
Although domain-specialized FPGAs can offer significant area, speed and power improvements over conventional reconfigurable devices, there are several unique and unexplored design...
118
click to vote
CAD
2008
Springer
15 years 18 days ago
2008
Springer
Conventional shape matching for engineering models primarily considers rigid shape similarity. They do not seek global shape similarity while considering large local deformations....
123
Voted
AI
2002
Springer
15 years 11 days ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
104
click to vote
SIGGRAPH
1993
ACM
15 years 4 months ago
1993
ACM
Radiosity methods have been shown to be an effective means to solve the global illumination problem in Lambertian diffuse environments. These methods approximate the radiosity int...