3790 search results - page 418 / 758 » Advances in Mixture Models |
176
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
The method of microtubule tracking and dynamics analysis, presented here, improves upon the current means of manual and automated quantification of microtubule behavior. Key contr...
192
Voted
SAT
2005
Springer
16 years 1 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
218
click to vote
ICSR
2004
Springer
16 years 29 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
166
click to vote
DEXAW
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper proposes a system which eases the job of entering and sharing expert analysis on a database system, with emphasis to pictorial and document information. With this syste...
256
click to vote
ERCIMDL
1997
Springer
15 years 11 months ago
1997
Springer
: A fully operational large scale digital library is likely to be based on a distributed architecture and because of this it is likely that a number of independent search engines m...