398 search results - page 61 / 80 » Spider Diagrams of Order |
184
click to vote
WABI
2007
Springer
16 years 23 days ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
178
click to vote
ACSC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
178
click to vote
APSEC
2006
IEEE
16 years 21 days ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
177
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
192
click to vote
SSDBM
2006
IEEE
16 years 20 days ago
2006
IEEE
The detection of correlations between different features in high dimensional data sets is a very important data mining task. These correlations can be arbitrarily complex: One or...