1463 search results - page 262 / 293 » Model Checking Implicit-Invocation Systems |
105
click to vote
ACL
2010
14 years 11 months ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
123
click to vote
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
134
click to vote
PKDD
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...
129
click to vote
INTERNET
2006
15 years 1 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
136
click to vote
AIED
2009
Springer
14 years 11 months ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...