2004 search results - page 208 / 401 » Comparison of Model Checking Tools for Information Systems |
199
click to vote
3DPVT
2006
IEEE
16 years 14 days ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
183
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
163
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
We study the problem of designing a mechanism to rank items in forums by making use of the user reviews such as thumb and star ratings. We compare mechanisms where forum users rat...
193
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...
213
click to vote
DKE
2008
15 years 6 months ago
2008
The availability of large amounts of heterogeneous distributed web data necessitates the integration of XML data from multiple XML sources for many reasons. For example, currently,...