2869 search results - page 336 / 574 » The Inference Problem: A Survey |
180
click to vote
JBI
2007
15 years 7 months ago
2007
In this case study, we describe a method that has potential to provide systematic support for public health information management. Public health agencies depend on specialized in...
178
click to vote
TSMC
2008
15 years 7 months ago
2008
With recent advances in battery capacity and the development of hydrogen fuel cells, autonomous underwater vehicles (AUVs) are being used to undertake longer missions that were pre...
181
click to vote
CLEIEJ
2002
15 years 7 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
179
click to vote
CN
2002
15 years 7 months ago
2002
The original design of the Internet and its underlying protocols did not anticipate users to be mobile. With the growing interest in supporting mobile users and mobile computing, ...
199
click to vote
EATCS
2000
15 years 7 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...