Sciweavers

306 search results - page 24 / 62
» Constructive analysis, types and exact real numbers
Sort
View
ICTAI
2007
IEEE
14 years 1 months ago
Conceptual Clustering Categorical Data with Uncertainty
Many real datasets have uncertain categorical attribute values that are only approximately measured or imputed. Uncertainty in categorical data is commonplace in many applications...
Yuni Xia, Bowei Xi
FSMNLP
2005
Springer
14 years 1 months ago
German Compound Analysis with wfsc
Compounding is a very productive process in German to form complex nouns and adjectives which represent about 7% of the words of a newspaper text. Unlike English, German compounds ...
Anne Schiller
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
IPL
2000
76views more  IPL 2000»
13 years 7 months ago
Deterministic small-world communication networks
Many real life networks, including the World Wide Web, electric power grids, and social networks, are small-world networks. The two distinguishing characteristics of small-world n...
Francesc Comellas, Javier Ozón, Joseph G. P...
COMGEO
2010
ACM
13 years 7 months ago
An efficient algorithm for the stratification and triangulation of an algebraic surface
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
Eric Berberich, Michael Kerber, Michael Sagraloff