24105 search results - page 4436 / 4821 » Models in Information Retrieval |
196
click to vote
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
215
click to vote
PKC
2010
Springer
15 years 11 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
171
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Obtaining high quality images in MR is desirable not only for accurate visual assessment but also for automatic processing to extract clinically relevant parameters. Filtering-bas...
188
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
158
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...