11462 search results - page 548 / 2293 » Developing Application-Centric Methods |
190
click to vote
CADE
1997
Springer
15 years 11 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
155
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents a methodology suited for high frequency analog IC design. The use of a top-down method with AHDL for circuit designers is proposed. In order to accelerate the ...
135
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Several ontology building methodologies have been developed endowed with different characteristics, however there is not yet a clear method to select the most appropriate...
180
click to vote
AAAI
2008
15 years 9 months ago
2008
We develop a point based method for solving finitely nested interactive POMDPs approximately. Analogously to point based value iteration (PBVI) in POMDPs, we maintain a set of bel...
194
click to vote
WSC
2007
15 years 9 months ago
2007
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...