Sciweavers

33 search results - page 2 / 7
» Requirements Determination is Unstoppable: An Experience Rep...
Sort
View
HAPTICS
2009
IEEE
13 years 11 months ago
Determining appropriate parameters to elicit linear and circular apparent motion using vibrotactile cues
This paper reports on two experiments we conducted to look at how to design effective linear and circular apparent-motion displays. Using a two-tactor array on the upper arm, the ...
Masataka Niwa, Robert W. Lindeman, Yuichi Itoh, Fu...
CADE
2004
Springer
14 years 5 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson
JSS
2002
131views more  JSS 2002»
13 years 4 months ago
Experiences with ALMA: Architecture-Level Modifiability Analysis
Modifiability is an important quality for software systems, because a large part of the costs associated with these systems is spent on modifications. The effort, and therefore co...
Nico H. Lassing, PerOlof Bengtsson, Hans van Vliet...
KCAP
2005
ACM
13 years 10 months ago
Extracting significant words from corpora for ontology extraction
This paper reports a technique for Knowledge Extraction using Natural Language Processing for the purposes of semi-automatic Ontology learning. Determination of significant words ...
Dileep G. Damle, Victoria S. Uren
ADMA
2010
Springer
314views Data Mining» more  ADMA 2010»
13 years 2 months ago
Best Clustering Configuration Metrics: Towards Multiagent Based Clustering
Multi-Agent Clustering (MAC) requires a mechanism for identifying the most appropriate cluster configuration. This paper reports on experiments conducted with respect to a number o...
Santhana Chaimontree, Katie Atkinson, Frans Coenen