19936 search results - page 48 / 3988 » Inductive process modeling |
152
click to vote
DALT
2008
Springer
15 years 7 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
168
click to vote
JIIS
2000
15 years 5 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...
143
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
The test signal method can be used to measure and model inductance parameters (self and mutual) of a very small interconnect especially in highdensity IC’s by using a test signa...
211
click to vote
JSC
2010
15 years 23 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
172
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
Recent decision-theoric planning algorithms are able to find optimal solutions in large problems, using Factored Markov Decision Processes (fmdps). However, these algorithms need ...