Sciweavers

4636 search results - page 50 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
SARA
2009
Springer
15 years 4 months ago
Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles
We study novel approaches for solving of hard combinatorial problems by translation to Boolean Satisfiability (SAT). Our focus is on combinatorial problems that can be represented...
Miroslav N. Velev, Ping Gao 0002
ER
2007
Springer
101views Database» more  ER 2007»
15 years 4 months ago
Using Attributed Goal Graphs for Software Component Selection: An Application of Goal-Oriented Analysis to Decision Making
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
Kazuma Yamamoto, Motoshi Saeki
ACL
2009
14 years 7 months ago
Dialogue Segmentation with Large Numbers of Volunteer Internet Annotators
This paper shows the results of an experiment in dialogue segmentation. In this experiment, segmentation was done on a level of analysis similar to adjacency pairs. The method of ...
T. Daniel Midgley
KBS
2011
116views more  KBS 2011»
14 years 5 months ago
Advanced empirical testing
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
Joachim Baumeister
68
Voted
ICCS
2003
Springer
15 years 3 months ago
Scaling Molecular Dynamics to 3000 Processors with Projections: A Performance Analysis Case Study
Some of the most challenging applications to parallelize scalably are the ones that present a relatively small amount of computation per iteration. Multiple interacting performance...
Laxmikant V. Kalé, Sameer Kumar, Gengbin Zh...