Sciweavers

1738 search results - page 253 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
167
Voted
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 4 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
123
Voted
SIGGRAPH
1991
ACM
15 years 7 months ago
An object-oriented framework for the integration of interactive animation techniques
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
Robert C. Zeleznik, D. Brookshire Conner, Matthias...
108
Voted
IVC
2010
121views more  IVC 2010»
15 years 2 months ago
Multiview segmentation and tracking of dynamic occluding layers
We present an algorithm for the layered segmentation of video data in multiple views. The approach is based on computing the parameters of a layered representation of the scene in...
Ian D. Reid, Keith Connor
ECIR
2007
Springer
15 years 5 months ago
Entropy-Based Authorship Search in Large Document Collections
The purpose of authorship search is to identify documents written by a particular author or in a particular style in large document collections. Standard search engines match docum...
Ying Zhao, Justin Zobel
147
Voted
VEE
2010
ACM
218views Virtualization» more  VEE 2010»
15 years 10 months ago
Improving compiler-runtime separation with XIR
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
Ben Titzer, Thomas Würthinger, Doug Simon, Ma...