2835 search results - page 290 / 567 » Common Semantics for Use Cases and Task Models |
153
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
156
click to vote
HIS
2007
15 years 6 months ago
2007
—Machine learning is inherently a multiobjective task. Traditionally, however, either only one of the objectives is adopted as the cost function or multiple objectives are aggreg...
168
click to vote
ADMA
2005
Springer
15 years 6 months ago
2005
Springer
Web transaction data between web visitors and web functionalities usually convey users’ task-oriented behavior patterns. Clustering web transactions, thus, may capture such infor...
181
click to vote
RULEML
2010
Springer
15 years 2 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
160
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The manual step in semi-automatic segmentation of medical volume images typically involves initialization procedures such as placement of seed-points or positioning of surface mod...