1941 search results - page 293 / 389 » DNA Computing Approach to Construction of Semantic Model |
179
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
158
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
We explored the possibility of predicting learners’ affective states (boredom, flow/engagement, confusion, and frustration) by monitoring variations in the cohesiveness of tutori...
152
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
182
click to vote
SPIESR
2001
15 years 7 months ago
2001
In this paper, we examine emerging frontiers in the evolution of content-based retrieval systems that rely on an intelligent infrastructure. Here, we refer to intelligence as the ...
149
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...