742 search results - page 82 / 149 » Argumentative alternating offers |
178
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
DAC
2002
ACM
16 years 25 days ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Energy harvesting offers a promising alternative to solve the sustainability limitations arising from battery size constraints in sensor networks. Several considerations in using ...
DAC
2006
ACM
16 years 25 days ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
101
click to vote
IPMI
2007
Springer
16 years 21 days ago
2007
Springer
A novel framework for joint clustering and point-by-point mapping of white matter fiber pathways is presented. Accurate clustering of the trajectories into fiber bundles requires p...