2251 search results - page 195 / 451 » Specification and Implementation Problems for C |
118
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
135
click to vote
CVDB
2004
ACM
15 years 9 months ago
2004
ACM
Capture, processing, and assimilation of digital media-based information such as video, images, or audio requires a unified framework within which signal processing techniques and...
133
click to vote
JSSPP
1998
Springer
15 years 8 months ago
1998
Springer
Metacomputing systems are intended to support remote and/or concurrent use of geographically distributed computational resources. Resource management in such systems is complicate...
115
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
136
click to vote
AAAI
2006
15 years 5 months ago
2006
In group decision-making problems that involve selfinterested agents with private information, reaching socially optimal outcomes requires aligning the goals of individuals with t...