5550 search results - page 975 / 1110 » Different Approaches to Proof Systems |
180
click to vote
SIS
2008
15 years 8 months ago
2008
Network Access Control requirements are typically implemented in practice as a series of heterogeneous security-mechanism-centric policies that span system services and application...
153
click to vote
NIPS
2007
15 years 8 months ago
2007
We consider apprenticeship learning—learning from expert demonstrations—in the setting of large, complex domains. Past work in apprenticeship learning requires that the expert...
181
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
153
click to vote
ECIS
2004
15 years 8 months ago
2004
Current research focuses on the dynamics of mobile telecommunications market innovation from the perspectives of technology innovation or service adoption. However,because there i...
185
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Dynamic and partial reconfiguration discovers more and more the focus in academic and industrial research. Modern systems in e.g. avionic and automotive applications exploit the p...