Sciweavers

3322 search results - page 480 / 665
» Automatic Human Model Generation
Sort
View
ISI
2006
Springer
15 years 6 months ago
Multi-document Summarization for Terrorism Information Extraction
Abstract. Counterterrorism is one of the major challenges to the society. In order to flight again the terrorists, it is very important to have a through understanding of the terro...
Fu Lee Wang, Christopher C. Yang, Xiaodong Shi
RE
2001
Springer
15 years 10 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
IADIS
2004
15 years 7 months ago
Recognizing Article Errors Based on the Three Head Words
In this paper, we present a statistical model for detecting article errors, which Japanese learners of English often make in English writing. The model detects article errors base...
Ryo Nagata, Fumito Masui, Atsuo Kawai, Naoki Isu
WSC
1998
15 years 7 months ago
Making Simulation more Accessible in Manufacturing Systems through a 'four phase' Approach
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie
ICSE
2004
IEEE-ACM
16 years 6 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....