2080 search results - page 118 / 416 » Measuring empirical computational complexity |
155
click to vote
SIGSAND
2008
15 years 5 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
157
click to vote
SIMVIS
2004
15 years 5 months ago
2004
We describe a method to match 3D polygonal geometry models using their internal skeleton graphs. These graphs carry information about the overall shape of the model. In order to m...
141
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
154
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
There are few visualization techniques for displaying complex software systems with large numbers of packages and classes. One visualization technique is the System Hotspots View,...
112
Voted
CE
2006
15 years 4 months ago
2006
Studies have shown that videoconferencing is an effective medium for facilitating communication between parties who are separated by distance, particularly when learners are engag...