3483 search results - page 647 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
121
click to vote
AAAI
2000
15 years 1 months ago
2000
Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...
102
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
119
Voted
GD
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
105
Voted
TMI
2008
15 years 13 days ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...
145
click to vote
ASIAMS
2008
IEEE
15 years 2 months ago
2008
IEEE
The paper elaborates upon the interim results achieved in resolving a few newly discovered 16th century letters now alleged to be written by Queen Mary of Scots (QMS). Despite the...