6413 search results - page 301 / 1283 » Classes of cycle bases |
163
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Poor performance of HW/SW cosimulation is mainly caused by synchronization requirement between component simulators. Virtual synchronization technique was proposed to remove the n...
216
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
136
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Web Engineering projects face problems when it comes to reveal the Web users' requirements. This is due to the fact that users ? the clients of a Web application ? have diffi...
158
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper analyses the stages and circumstances for immersion based on quantitative and qualitative feedback from 563 people who took part in a three week long public trial of a ...
175
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...