Sciweavers

1748 search results - page 303 / 350
» Generating Data Analysis Programs from Statistical Models
Sort
View
229
Voted
POPL
2009
ACM
16 years 2 months ago
State-dependent representation independence
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
Amal Ahmed, Derek Dreyer, Andreas Rossberg
WSC
1997
15 years 3 months ago
System Concept Development with Virtual Prototyping
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
James C. Schaaf Jr., Faye Lynn Thompson
EUROMICRO
2007
IEEE
15 years 8 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
CAD
2004
Springer
15 years 2 months ago
A multi-resolution topological representation for non-manifold meshes
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
Leila De Floriani, Paola Magillo, Enrico Puppo, Da...
WSDM
2009
ACM
138views Data Mining» more  WSDM 2009»
15 years 9 months ago
Adaptive subjective triggers for opinionated document retrieval
This paper proposes a novel application of a statistical language model to opinionated document retrieval targeting weblogs (blogs). In particular, we explore the use of the trigg...
Kazuhiro Seki, Kuniaki Uehara