4150 search results - page 549 / 830 » A Practical Approach to Model Extension |
130
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
122
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The objective of this research is to test a model of electronic procurement (e-procurement) adoption behavior by Small- to Medium-sized Enterprises (SME). We investigate the pheno...
140
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Autonomy is regarded as a crucial notion in multi-agent systems and several researchers have tried to identify what are the agent's parts that give it an autonomous character....
126
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
145
click to vote
PACT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...