5216 search results - page 929 / 1044 » Planning as Model Checking |
113
click to vote
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
The reciprocal connectivity between the cerebral cortex and the thalamus in a human brain is involved in consciousness and related to various brain disorders, thus, in-vivo analys...
112
Voted
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a dynamic and distributed approach to the hospital patient scheduling problem: the multi-agent Pareto-improvement appointment exchanging algorithm, MPAEX. It respects t...
122
Voted
EDOC
2005
IEEE
15 years 9 months ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
265
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper explores the role of Information Technology (IT) in the management of municipally-owned and operated public utilities. Through semi-structured interviews of senior mana...
148
Voted
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...