Sciweavers

2232 search results - page 228 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
DSVIS
1997
Springer
15 years 10 months ago
DMVIS: Design, Modelling and Validation of Interactive Systems
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
Robert E. Fields, Nicholas A. Merriam, Andrew M. D...
IASSE
2004
15 years 8 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
ACRI
2006
Springer
16 years 16 days ago
Modeling Robot Path Planning with CD++
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
Gabriel A. Wainer
PAAMS
2010
Springer
15 years 11 months ago
Comparing Three Computational Models of Affect
In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
Tibor Bosse, Jonathan Gratch, Johan F. Hoorn, Matt...
IJIS
2008
83views more  IJIS 2008»
15 years 6 months ago
An algorithm for modelling key terms
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
D. Cai, C. J. van Rijsbergen