2838 search results - page 353 / 568 » Verifying Controlled Components |
100
click to vote
AAI
1998
15 years 13 days ago
1998
In the past few years, Multiagent Systems (MAS) has emerged as an active subfield of Artificial Intelligence (AI). Because of the inherent complexity of MAS, there is much inter...
99
Voted
IJCV
2002
15 years 12 days ago
2002
Image-based relighting (IBL) is a technique to change the illumination of an image-based object/scene. In this paper, we define a representation called the reflected irradiance fi...
115
click to vote
JCS
2002
15 years 12 days ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
TON
1998
15 years 11 days ago
1998
This paper describes the analysis, implementation and performance of a new algorithm engineered to discipline a computer clock to a source of standard time, such as a GPS receiver...
111
click to vote
CORR
2007
Springer
15 years 8 days ago
2007
Springer
Background: Prostate brachytherapy consists in placing radioactive seeds for tumour destruction under transrectal ultrasound imaging (TRUS) control. It requires prostate delineati...