22114 search results - page 4144 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
184
click to vote
NFM
2011
15 years 1 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
197
click to vote
TKDE
2011
15 years 1 months ago
2011
—Previous studies have demonstrated that document clustering performance can be improved significantly in lower dimensional linear subspaces. Recently, matrix factorization base...
168
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
Objects that are buried deep in heterogeneous media produce faint echoes which are difficult to distinguish from the backscattered field. Sensor array imaging in such media cannot ...
188
click to vote
TIT
2010
15 years 1 months ago
2010
We investigate error-correcting codes for a the rank-modulation scheme with an application to flash memory devices. In this scheme, a set of n cells stores information in the permu...
199
click to vote
TSMC
2010
15 years 1 months ago
2010
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...