2766 search results - page 276 / 554 » Hybridizing a Logical Framework |
195
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
165
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
191
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
173
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
224
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...