Sciweavers

424 search results - page 6 / 85
» Productivity of Stream Definitions
Sort
View
RTA
2010
Springer
15 years 1 months ago
Proving Productivity in Infinite Data Structures
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
Hans Zantema, Matthias Raffelsieper
87
Voted
PROFES
2009
Springer
15 years 4 months ago
Integrating Value and Utility Concepts into a Value Decomposition Model for Value-Based Software Engineering
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
Mikko Rönkkö, Christian Frühwirth, ...
FLAIRS
2007
14 years 12 months ago
Mining Sequences in Distributed Sensors Data for Energy Production
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
Mehmed M. Kantardzic, John Gant
IJVR
2008
166views more  IJVR 2008»
14 years 9 months ago
Context Sensitive Stylesheets for Scene Graphs
Augmented Reality (AR) enables users to visualize synthetic information overlaid on a real video stream. Such visualization is achieved by tools that vary depending on the underlyi...
Erick Méndez, Dieter Schmalstieg
COMPUTER
1999
78views more  COMPUTER 1999»
14 years 9 months ago
Internet Streaming SIMD Extensions
The paper describes the development and definition of Intel's new Internet Streaming SIMD Extensions introduced on the Pentium
Shreekant S. Thakkar, Thomas Huff