1713 search results - page 187 / 343 » Analysis of Procedure Splitability |
118
click to vote
WABI
2001
Springer
15 years 5 months ago
2001
Springer
A central issue in molecular biology is understanding the regulatory mechanisms that control gene expression. The recent flood of genomic and postgenomic data opens the way for co...
166
click to vote
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
100
Voted
SIGGRAPH
2000
ACM
15 years 5 months ago
2000
ACM
Human movements include limb gestures and postural attitude. Although many computer animation researchers have studied these classes of movements, procedurally generated movements...
HPCN
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Computational environments used by scientists should provide high-level support for scientific processes that involve the integrated ematic use of familiar abstractions f...
122
Voted
PKDD
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...