Sciweavers

745 search results - page 92 / 149
» The origins of combinatorics on words
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 3 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ISMIS
2003
Springer
15 years 3 months ago
NETMARK: A Schema-Less Extension for Relational Databases for Managing Semi-structured Data Dynamically
Object-Relational database management system is an integrated hybrid cooperative approach to combine the best practices of both the relational model utilizing SQL queries and the ...
David A. Maluf, Peter B. Tran
ICIAP
2009
ACM
15 years 2 months ago
Applying Visual Object Categorization and Memory Colors for Automatic Color Constancy
This paper presents a framework for using high-level visual information to enhance the performance of automatic color constancy algorithms. The approach is based on recognizing spe...
Esa Rahtu, Jarno Nikkanen, Juho Kannala, Leena Lep...
ISVC
2009
Springer
15 years 2 months ago
Layered Volume Splatting
We present a new layered, hardware-accelerated splatting algorithm for volume rendering. Layered volume splatting features the speed benefits of fast axis-aligned pre-classified ...
Philipp Schlegel, Renato Pajarola
LOCA
2009
Springer
15 years 2 months ago
Daily Routine Recognition through Activity Spotting
This paper explores the possibility of using low-level activity spotting for daily routine recognition. Using occurrence statistics of lowlevel activities and simple classifiers b...
Ulf Blanke, Bernt Schiele