5387 search results - page 634 / 1078 » Generating generic functions |
221
click to vote
CG
2007
Springer
15 years 7 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
222
click to vote
IANDC
2007
15 years 6 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
228
click to vote
TCSV
2008
15 years 6 months ago
2008
In this paper, a new theoretical framework based on hidden Markov model (HMM) and independent component analysis (ICA) mixture model is presented for content analysis of video, nam...
179
click to vote
TOG
2008
15 years 6 months ago
2008
We propose an efficient scheme for evaluating nonlinear subspace forces (and Jacobians) associated with subspace deformations. The core problem we address is efficient integration...
179
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...