1670 search results - page 51 / 334 » On Skolemization in constructive theories |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
For many years, meeting satisfaction has been a key outcome variable in experimental Group Support Systems (GSS) research. GSS research results on meeting satisfaction are conflic...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
ICFP
1996
ACM
14 years 1 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
ESANN
2007
13 years 11 months ago
2007
Training recurrent neural networks is hard. Recently it has however been discovered that it is possible to just construct a random recurrent topology, and only train a single linea...
WSPI
2004
13 years 11 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...