3387 search results - page 165 / 678 » Automating the Metamodeling Process |
147
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
155
Voted
SIGUCCS
2009
ACM
15 years 9 months ago
2009
ACM
Although recording and streaming lecture videos is becoming popular, large-scale lecture recording is still a difficult task for many universities. Auto lecture recording systems ...
137
click to vote
ICTAI
1992
IEEE
15 years 9 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
180
click to vote
AFRIGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
154
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...