2230 search results - page 223 / 446 » Reformulating Constraint Models Using Input Data |
141
click to vote
INFSOF
2007
15 years 3 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
137
click to vote
ETRA
2008
ACM
15 years 4 months ago
2008
ACM
Under natural viewing conditions, human observers use shifts in gaze to allocate processing resources to subsets of the visual input. There are many computational models that try ...
146
click to vote
AIPS
2011
14 years 6 months ago
2011
Applying learning techniques to acquire action models is an area of intense research interest. Most previous works in this area have assumed that there is a significant amount of...
130
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
142
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...