Sciweavers

10055 search results - page 472 / 2011
» Structured programming using processes
Sort
View
204
Voted
ICIP
2003
IEEE
16 years 8 months ago
Stochastic attributed K-d tree modeling of technical paper title pages
Structural information about a document is essential for structured query processing, indexing, and retrieval. A document page can be partitioned into a hierarchy of homogeneous r...
Song Mao, Azriel Rosenfeld, Tapas Kanungo
187
Voted
FOCS
1992
IEEE
15 years 11 months ago
Dynamic Half-Space Reporting, Geometric Optimization, and Minimum Spanning Trees
We describe dynamic data structures for half-space range reporting and for maintaining the minima of a decomposable function. Using these data structures, we obtain efficient dyna...
Pankaj K. Agarwal, David Eppstein, Jirí Mat...
ICFEM
2004
Springer
16 years 7 days ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
194
Voted
EUROGP
2003
Springer
173views Optimization» more  EUROGP 2003»
16 years 2 days ago
Tree Adjoining Grammars, Language Bias, and Genetic Programming
In this paper, we introduce a new grammar guided genetic programming system called tree-adjoining grammar guided genetic programming (TAG3P+), where tree-adjoining grammars (TAGs) ...
Nguyen Xuan Hoai, Robert I. McKay, Hussein A. Abba...
211
Voted
NAR
2010
129views more  NAR 2010»
15 years 1 months ago
PROSESS: a protein structure evaluation suite and server
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...
Mark V. Berjanskii, Yongjie Liang, Jianjun Zhou, P...