4695 search results - page 820 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
208
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
206
click to vote
INTERNET
2008
15 years 6 months ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
197
click to vote
PAMI
2012
13 years 8 months ago
2012
—The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring that the...
150
click to vote
SIGIR
2006
ACM
16 years 10 days ago
2006
ACM
Modern distributed information retrieval techniques require accurate knowledge of collection size. In non-cooperative environments, where detailed collection statistics are not av...
192
click to vote
SMA
1995
ACM
15 years 10 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...