2556 search results - page 167 / 512 » The Triconnected Abstraction of Process Models |
169
click to vote
MICCAI
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Angiogenesis, the growth of vascular structures, is an extremely complex biological process which has long puzzled scientists. Better physiological understanding of this ...
177
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
180
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
204
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
162
click to vote
AIED
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper describes the process by which we are constructing an intelligent tutoring system (ERST) designed to improve learners’ external representation (ER) selection...