Sciweavers

2274 search results - page 139 / 455
» A Tale of Two Projects
Sort
View
TVCG
2012
187views Hardware» more  TVCG 2012»
13 years 6 months ago
Effective Replays and Summarization of Virtual Experiences
—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...
Kevin Ponto, Joe Kohlmann, Michael Gleicher
CADE
2012
Springer
13 years 6 months ago
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
François Bobot, Sylvain Conchon, Evelyne Co...
142
Voted
AAAI
2012
13 years 6 months ago
Manifold Warping: Manifold Alignment over Time
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...
Hoa Trong Vu, Clifton Carey, Sridhar Mahadevan
443
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—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...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan...
ISPW
2007
IEEE
15 years 10 months ago
Effects of Architecture and Technical Development Process on Micro-process
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...
Liming Zhu, D. Ross Jeffery, Mark Staples, Ming Hu...