Sciweavers

870 search results - page 38 / 174
» Constructions for Difference Triangle Sets
Sort
View
CII
2010
87views more  CII 2010»
13 years 9 months ago
The Unified Enterprise Modelling Language - Overview and further work
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
Víctor Anaya, Giuseppe Berio, Mounira Harza...
PG
2007
IEEE
14 years 3 months ago
Fast and Faithful Geometric Algorithm for Detecting Crest Lines on Meshes
A new geometry-based finite difference method for a fast and reliable detection of perceptually salient curvature extrema on surfaces approximated by dense triangle meshes is pro...
Shin Yoshizawa, Alexander G. Belyaev, Hideo Yokota...
COLING
2010
13 years 3 months ago
Adaptive Development Data Selection for Log-linear Model in Statistical Machine Translation
This paper addresses the problem of dynamic model parameter selection for loglinear model based statistical machine translation (SMT) systems. In this work, we propose a principle...
Mu Li, Yinggong Zhao, Dongdong Zhang, Ming Zhou
TCS
2002
13 years 8 months ago
The chords' problem
The chords' problem is a variant of an old problem of computational geometry: given a set of points of n , one can easily build the multiset of the distances between the poi...
Alain Daurat, Yan Gérard, Maurice Nivat
VMCAI
2005
Springer
14 years 2 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard