799 search results - page 61 / 160 » Improving the feasibility pump |
CAISE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
75
Voted
HYBRID
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
ICADL
2005
Springer
15 years 4 months ago
2005
Springer
As tools and systems for producing and disseminating image data have improved significantly in recent years, the volume of digital images has grown rapidly. An efficient mechanism ...
90
Voted
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
PCM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents a prototype of a client system for Realistic Broadcasting that can receive and process immersive media. It provides a viewer which supports stereoscop...