3890 search results - page 467 / 778 » Computation of unirational fields |
168
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Most hybrid 3D segmentation methods either heuristically couple the respective algorithm or combine a true 3D with a 2D algorithm due to computational considerations. In this pape...
291
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
144
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Partial Reconfiguration on heterogeneous Field Programmable Gate Arrays (FPGA) with millions of gates yields better utilization of resources by swapping in and out the active modu...
150
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Abstract-- This paper presents the results obtained from an experimental study of the impact of modern process technologies on the electrical parameters of interconnects. Variation...
148
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Service placement deals with the problem of selecting which node in a network is most suitable for hosting a service that responds to queries from other nodes. Optimally placing s...