1689 search results - page 151 / 338 » On Natural Non-dcpo Domains |
154
click to vote
FDL
2007
IEEE
16 years 25 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
170
click to vote
AIED
2007
Springer
16 years 20 days ago
2007
Springer
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...
185
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
146
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
141
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
Quantum effects are a natural phenomenon and just like evolution, or immune processes, can serve as an inspiration for the design of computing algorithms. This study illustrates ...