1738 search results - page 188 / 348 » Matching Reviews to Objects using a Language Model |
175
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
193
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
170
click to vote
IEEEARES
2006
IEEE
16 years 11 days ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
188
click to vote
SMA
1995
ACM
15 years 10 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
166
click to vote
APCCM
2009
15 years 7 months ago
2009
Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and...