3742 search results - page 727 / 749 » On the Use of Formal Techniques for Validation |
170
click to vote
TOG
2008
15 years 1 months ago
2008
Video, like images, should support content aware resizing. We present video retargeting using an improved seam carving operator. Instead of removing 1D seams from 2D images we rem...
100
click to vote
JKM
2007
15 years 1 months ago
2007
Purpose – The purpose of this paper is to suggest and empirically test a model that explains employee capabilities from the knowledge-based perspective. In this model, human cap...
104
click to vote
IJPP
2002
15 years 1 months ago
2002
This paper presents a compilation framework that allows executable code to be shared across different Java Virtual Machine (JVM) instances. All fully compliant JVMs that target se...
206
click to vote
ISCA
2002
IEEE
15 years 1 months ago
2002
IEEE
In this paper, we consider the tree task graphs which arise from many important programming paradigms such as divide and conquer, branch and bound etc., and the linear task-graphs...
120
click to vote
PVLDB
2008
15 years 1 months ago
2008
Sequence data is ubiquitous and finding frequent sequences in a large database is one of the most common problems when analyzing sequence data. Unfortunately many sources of seque...