356 search results - page 41 / 72 » Towards modular i* models |
RT
2005
Springer
14 years 1 months ago
2005
Springer
We present a system for interactively capturing, constructing, and rendering surface light fields by incrementally building a low rank approximation to the surface light field. ...
CAE
2007
13 years 10 months ago
2007
We use a set of photographs showing similar scenes as a model for a single photograph this scene. A distance measure for this model is defined by correlating the neigborhoods of p...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we introduce a new task model that is specifically targeted towards representing stream processing applications. Examples of such applications are those involved in...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
ACMDIS
2004
ACM
14 years 1 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...