6201 search results - page 199 / 1241 » Implementation of Axiomatic Language |
138
click to vote
MSE
2000
IEEE
15 years 9 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...
124
Voted
MM
1997
ACM
15 years 9 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
157
click to vote
ANSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
151
click to vote
SBIA
2000
Springer
15 years 8 months ago
2000
Springer
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
166
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...