Sciweavers

813 search results - page 83 / 163
» On the interaction between sharing and linearity
Sort
View
FASE
2012
Springer
13 years 7 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
ISBRA
2009
Springer
15 years 6 months ago
Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks
Identifying gene regulatory networks from high-throughput gene expression data is one of the most important goals of bioinformatics, but it remains difficult to define what makes a...
Peter Larsen, Yang Dai
ACCV
2007
Springer
15 years 5 months ago
Flea, Do You Remember Me?
The ability to detect and recognize individuals is essential for an autonomous robot interacting with humans even if computational resources are usually rather limited. In general ...
Michael Grabner, Helmut Grabner, Joachim Pehserl, ...
LICS
2010
IEEE
14 years 10 months ago
Polarity and the Logic of Delimited Continuations
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
Noam Zeilberger
ECCV
2006
Springer
16 years 1 months ago
Studying Aesthetics in Photographic Images Using a Computational Approach
Aesthetics, in the world of art and photography, refers to the principles of the nature and appreciation of beauty. Judging beauty and other aesthetic qualities of photographs is a...
Ritendra Datta, Dhiraj Joshi, Jia Li, James Ze Wan...