1549 search results - page 292 / 310 » A Formal Approach for the Development of Automated Systems |
ICLP
1999
Springer
13 years 11 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
BMCBI
2008
13 years 6 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...
AI
2006
Springer
13 years 6 months ago
2006
Springer
In this paper we describe a machine learning approach for acquiring a model of a robot behaviour from raw sensor data. We are interested in automating the acquisition of behaviour...
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
MSR
2010
ACM
13 years 8 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...