7623 search results - page 465 / 1525 » Constructive Volume Modeling |
206
Voted
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
206
Voted
ENGL
2008
15 years 6 months ago
2008
Because most of the procedures in defect inspection process of TFT-LCD module assembly are examined manually through human vision, cycle time estimation for this particular process...
180
click to vote
ENTCS
2008
15 years 6 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
229
click to vote
JMLR
2008
15 years 6 months ago
2008
In graphical modelling, a bi-directed graph encodes marginal independences among random variables that are identified with the vertices of the graph. We show how to transform a bi...
185
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In this work, we show that the current termination condition of the Probabilistic Packet Marking (PPM) algorithm is not correct for general networks, and this implies the estimati...