14704 search results - page 2321 / 2941 » computer 2007 |
208
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Skyline queries have recently received a lot of attention due to their intuitive query formulation: users can state preferences with respect to several attributes. Unlike numeric...
203
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
207
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
153
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Algorithms for dextrous robot grasping always have to cope with the challenge of achieving high object specialisation for a wide range of grasping contexts. In this paper, we p...
193
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...