9425 search results - page 176 / 1885 » Some Notes on Models and Modelling |
72
Voted
CRYPTO
2001
Springer
15 years 2 months ago
2001
Springer
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Experimental data validating some of the proposed parallel computation models on the Intel Paragon is presented. This architecture is characterized by a large bandwidth and a rela...
VLDB
1989
ACM
15 years 2 months ago
1989
ACM
Deductive conceptualmodels(DCMs) aim at providing a complete specification of information systems,expressing only its logic component.It hasbeenshownthatDCMs have some advantagesw...
75
Voted
EUROCAST
2007
Springer
15 years 2 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
83
Voted
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We propose models for semantic orientations of phrases as well as classification methods based on the models. Although each phrase consists of multiple words, the semantic orienta...