1968 search results - page 169 / 394 » Symmetry in Decision Evaluation |
169
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
172
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
138
click to vote
ISMDA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The work presents the results of inconsistency detection experiments on the data records of an atherosclerotic coronary heart disease database collected in the regular me...
190
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
The skyline query, as an important operator in databases for multi-preference analysis and decision making, has received much attention recently due to its wide application backgr...
145
click to vote
ACL
2006
15 years 8 months ago
2006
Pipeline computation, in which a task is decomposed into several stages that are solved sequentially, is a common computational strategy in natural language processing. The key pr...