4235 search results - page 458 / 847 » Process Spaces |
176
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Tensors are nowadays an increasing research domain in different areas, especially in image processing, motivated for example by DT-MRI (Diffusion Tensor Magnetic Resonance Imaging...
195
Voted
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Regardless of the frequent patterns to discover, either the full frequent patterns or the condensed ones, either closed or maximal, the strategy always includes the traversal of t...
157
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
135
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
169
click to vote
ACISICIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Reliable storage of large amounts of data is always a delicate issue. Availability, efficiency, data integrity, and confidentiality are some features a data backup system should...