Sciweavers

2018 search results - page 77 / 404
» On Conceptualization as a Systematic Process
Sort
View
TREC
2000
15 years 1 months ago
CINDOR TREC-9 English-Chinese Evaluation
MNIS-TextWise Labs participated in the TREC-9 Chinese Cross-Language Information Retrieval track. The focus of our research for this participation has been on rapidly adding Chine...
Miguel E. Ruiz, Steve Rowe, Maurice Forrester, Par...
WSC
2007
15 years 2 months ago
Verification and validation of simulation models
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
Robert G. Sargent
FASE
2010
Springer
15 years 6 months ago
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
ETS
2002
IEEE
150views Hardware» more  ETS 2002»
14 years 11 months ago
Assessing group learning and shared understanding in technology-mediated interaction
Without shared understanding, hardly any group learning takes place. Though much has been written about the essence of shared understanding, less is known about how to assess the ...
Ingrid Mulder, Janine Swaak, Joseph Kessels
DASFAA
2009
IEEE
126views Database» more  DASFAA 2009»
15 years 6 months ago
Supporting Execution-Level Business Process Modeling with Semantic Technologies
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
Matthias Born, Jörg Hoffmann, Tomasz Kaczmare...