Sciweavers

14360 search results - page 2543 / 2872
» Time Modeling in MARTE
Sort
View
ESE
2002
114views Database» more  ESE 2002»
15 years 6 months ago
An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
Oliver Laitenberger, Thomas Beil, Thilo Schwinn
JAR
2000
97views more  JAR 2000»
15 years 6 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
PRESENCE
2000
94views more  PRESENCE 2000»
15 years 6 months ago
Virtual Environments with Four or More Spatial Dimensions
We describe methods for displaying complex, texturemapped environments with four or more spatial dimensions that allow for real-time interaction. At any one moment in time, a thre...
Michael D'Zmura, Philippe Colantoni, Gregory Seyra...
IJCIA
2002
137views more  IJCIA 2002»
15 years 6 months ago
Co-Evolution in Social Interactions
An interesting problem which has been widely investigated is under what circumstances will a society of rational agents realize some particular stable situations, and whether they ...
Hiroshi Sato, Akira Namatame
AC
1998
Springer
15 years 6 months ago
Natural Language Processing: A Human-Computer Interaction Perspective
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
Bill Z. Manaris
« Prev « First page 2543 / 2872 Last » Next »