3082 search results - page 522 / 617 » Deviation Analysis: A New Use of Model Checking |
133
click to vote
HPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...
154
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
133
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Recent work on anonymizing online social networks (OSNs) has looked at privacy preserving techniques for publishing a single instance of the network. However, OSNs evolve and a si...
139
click to vote
ICIAP
2003
ACM
15 years 9 months ago
2003
ACM
Principal component analyses (PCA) has been widely used in reduction of the dimensionality of datasets, classification, feature extraction, etc. It has been combined with many oth...
136
click to vote
LREC
2010
15 years 5 months ago
2010
We present the methodology that underlies new metrics for semantic machine translation evaluation that we are developing. Unlike widely-used lexical and n-gram based MT evaluation...