5550 search results - page 731 / 1110 » Different Approaches to Proof Systems |
198
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
116
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...
174
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
— Opinion mining is the task of extracting from a set of documents opinions expressed by a source on a specified target. This article presents a comparative study on the methods ...
183
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Locality Sensitive Hashing (LSH) is widely used for efficient retrieval of candidate matches in very large audio, video, and image systems. However, extremely large reference dat...
162
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...