1713 search results - page 91 / 343 » Analysis of Procedure Splitability |
112
Voted
DOCENG
2003
ACM
15 years 8 months ago
2003
ACM
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
SIGDOC
2000
ACM
15 years 7 months ago
2000
ACM
∗ This paper introduces low-tech simulation as a technique for testing procedures and their documentation. The key idea is to test the interface-procedure-documentation set in th...
124
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: In gene networks, the timing of significant changes in the expression level of each gene may be the most critical information in time course expression profiles. With ...
158
Voted
PEPM
1997
ACM
15 years 7 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
131
click to vote
ICTAC
2009
Springer
15 years 19 days ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...