3790 search results - page 143 / 758 » Advances in Mixture Models |
143
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
132
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
146
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
140
Voted
DILS
2005
Springer
15 years 9 months ago
2005
Springer
Resource managers often face significant information technology (IT) problems when integrating ecological or environmental information to make decisions. At a workshop sponsored by...
127
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...