2373 search results - page 323 / 475 » The Design of the Zinc Modelling Language |
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
195
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
191
click to vote
WSC
2000
15 years 7 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
212
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
216
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...