4285 search results - page 712 / 857 » Differential Behavioral Analysis |
93
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The main motivation for using a multi–objective evolutionary algorithm for finding biclusters in gene expression data is motivated by the fact that when looking for biclusters ...
80
Voted
HUC
2007
Springer
15 years 7 months ago
2007
Springer
How should Ubicomp technologies be evaluated? While lab studies are good at sensing aspects of human behavior and revealing usability problems, they are poor at capturing context o...
118
click to vote
ILC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
98
Voted
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
87
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...