3824 search results - page 446 / 765 » Geometry Constructions Language |
128
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
149
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
126
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
155
click to vote
NLP
2000
15 years 8 months ago
2000
In this article we compare the performance of various machine learning algorithms on the task of constructing word-sense disambiguation rules from data. The distinguishing characte...
132
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...