3564 search results - page 517 / 713 » Evaluating a Formal Modelling Language |
ASPLOS
2010
ACM
15 years 3 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
105
click to vote
ASPLOS
2006
ACM
15 years 2 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
137
click to vote
LBM
2007
14 years 12 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
107
click to vote
UM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
FLAIRS
2007
15 years 27 days ago
2007
Episodic knowledge is often stored in the form of textual narratives written in natural language. However, a large repository of such narratives will contain both repetitive and n...