1941 search results - page 293 / 389 » DNA Computing Approach to Construction of Semantic Model |
159
click to vote
APN
2010
Springer
15 years 9 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...
130
click to vote
AIED
2009
Springer
15 years 9 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...
125
Voted
ESOP
1999
Springer
15 years 9 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....
162
Voted
SPIESR
2001
15 years 6 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 ...
128
Voted
KBSE
2010
IEEE
15 years 3 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...