691 search results - page 97 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
FPL
2006
Springer
13 years 11 months ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
EDM
2008
13 years 9 months ago
2008
Abstract. Discovering knowledge from raw data is one of the goals of data mining. Yet, it is not always clear how this knowledge is used in educational computing systems and how ex...
HIS
2008
13 years 9 months ago
2008
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
IJCAI
2007
13 years 9 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...