42507 search results - page 226 / 8502 » On the analysis of |
164
click to vote
AIED
2007
Springer
16 years 28 days ago
2007
Springer
We are developing a conversational agent called VIBRANT to provide adaptive support for brainstorming in pairs in a scientific inquiry context. Our previous experimental study indi...
162
click to vote
ISBRA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure ...
187
Voted
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
155
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
—In this paper we present a methodology for detecting traffic anomalies. To accomplish that, and as a demarcation from similar works, we combine multi-scale and multi-criteria an...
139
click to vote
COLCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...