Sciweavers

3330 search results - page 460 / 666
» software 2010
Sort
View
MVA
2010
296views Computer Vision» more  MVA 2010»
15 years 3 months ago
Non-contact 3D acquisition system based on stereo vision and laser triangulation
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
João L. Vilaça, Jaime C. Fonseca, An...
NA
2010
69views more  NA 2010»
15 years 3 months ago
Partial spectral projected gradient method with active-set strategy for linearly constrained optimization
A method for linearly constrained optimization which modifies and generalizes recent box-constraint optimization algorithms is introduced. The new algorithm is based on a relaxed...
Marina Andretta, Ernesto G. Birgin, José Ma...
OOPSLA
2010
Springer
15 years 3 months ago
Component adaptation and assembly using interface relations
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...
Stephen Kell
164
Voted
PERCOM
2010
ACM
15 years 3 months ago
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
Seng Wai Loke
120
Voted
PTS
2010
147views Hardware» more  PTS 2010»
15 years 3 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...