9067 search results - page 642 / 1814 » Adaptive Model Checking |
179
click to vote
AIME
2005
Springer
16 years 25 days ago
2005
Springer
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...
187
click to vote
GI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
199
click to vote
ICCCI
2009
Springer
15 years 12 months ago
2009
Springer
Trust is a sine qua non for trade. According to transaction cost economics, a contract always offers some opportunity to defect. In the case of asymmetric product information, wher...
171
click to vote
IJCAI
1997
15 years 8 months ago
1997
Propositional STRIPS planning problems can be viewed as finite state automata (FSAs) represented in a factored form. Automaton minimization is a well-known technique for reducing ...
202
click to vote
TCCI
2010
15 years 5 months ago
2010
According to transaction cost economics, contracts are always incomplete and offer opportunities to defect. Some level of trust is a sine qua non for trade. If the seller is better...