Sciweavers

1781 search results - page 218 / 357
» Functional Answer Set Programming
Sort
View
COMPGEOM
2004
ACM
15 years 7 months ago
A computational framework for incremental motion
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
David M. Mount, Nathan S. Netanyahu, Christine D. ...
INFOCOM
1999
IEEE
15 years 6 months ago
Bandwidth Allocation Policies for Unicast and Multicast Flows
Abstract--Using multicast delivery to multiple receivers reduces the aggregate bandwidth required from the network compared to using unicast delivery to each receiver. However mult...
Arnaud Legout, Jörg Nonnenmacher, Ernst Biers...
ICDT
2010
ACM
194views Database» more  ICDT 2010»
15 years 3 months ago
Bag Equivalence of XPath Queries
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
Sara Cohen, Yaacov Y. Weiss
ACL
2007
15 years 3 months ago
An Ensemble Method for Selection of High Quality Parses
While the average performance of statistical parsers gradually improves, they still attach to many sentences annotations of rather low quality. The number of such sentences grows ...
Roi Reichart, Ari Rappoport
TCAD
2008
124views more  TCAD 2008»
15 years 1 months ago
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
Neil Kettle, Andy King