3333 search results - page 363 / 667 » New Invariants for Groups |
171
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Analysis of materials obtained from physical simulations is important in the physical sciences. Our research was motivated by the need to investigate the properties of a simulated...
213
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...
311
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
159
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Webcams, microphones, pressure gauges and other sensors provide exciting new opportunities for querying and monitoring the physical world. In this paper we focus on querying wide ...
203
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
The learning-enhanced relevance feedback has been one of the most active research areas in content-based image retrieval in recent years. However, few methods using the relevance ...