3765 search results - page 662 / 753 » Formal Methods for Systems Engineering Behavior Models |
125
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...
109
click to vote
SEKE
2007
Springer
15 years 8 months ago
2007
Springer
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
102
Voted
MMSEC
2006
ACM
15 years 8 months ago
2006
ACM
A novel information-hiding methodology denoted as digital invisible ink is introduced. The proposed approach is inspired by the invisible ink in the real world and can be regarded...
124
click to vote
ECML
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we show how the dynamics of Q-learning can be visualized and analyzed from a perspective of Evolutionary Dynamics (ED). More specifically, we show how ED can be use...
117
click to vote
NA
2010
15 years 27 days ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...