1670 search results - page 99 / 334 » On Skolemization in constructive theories |
167
click to vote
EUROCAST
2005
Springer
15 years 12 months ago
2005
Springer
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs Grp is given an...
161
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
167
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
169
click to vote
SSWMC
2004
15 years 7 months ago
2004
The use of kernel Fisher discriminants is used to detect the presence of JPEG based hiding methods. The feature vector for the kernel discriminant is constructed from the quantize...
145
click to vote
ACS
2008
15 years 6 months ago
2008
Abstract Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigate...