2274 search results - page 139 / 455 » A Tale of Two Projects |
112
click to vote
TVCG
2012
13 years 6 months ago
2012
—Direct replays of the experience of a user in a virtual environment are difficult for others to watch due to unnatural camera motions. We present methods for replaying and summ...
178
click to vote
CADE
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
142
Voted
AAAI
2012
13 years 6 months ago
2012
Knowledge transfer is computationally challenging, due in part to the curse of dimensionality, compounded by source and target domains expressed using different features (e.g., do...
443
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
105
click to vote
ISPW
2007
IEEE
15 years 10 months ago
2007
IEEE
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...