Sciweavers

980 search results - page 129 / 196
» A new robust relevance model in the language model framework
Sort
View
TOG
2008
136views more  TOG 2008»
13 years 7 months ago
Curved folding
Fascinating and elegant shapes may be folded from a single planar sheet of material without stretching, tearing or cutting, if one incorporates curved folds into the design. We pr...
Martin Kilian, Simon Flöry, Zhonggui Chen, Ni...
ICCS
2010
Springer
13 years 6 months ago
Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
Jean-François Baget, Jérôme Fo...
FDL
2004
IEEE
13 years 11 months ago
On Actors and Objects - OOP in System Level Design
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
Joachim K. Anlauf, Philipp A. Hartmann
CORR
2000
Springer
144views Education» more  CORR 2000»
13 years 7 months ago
Sequence-Based Abstract Interpretation of Prolog
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
DEXAW
2006
IEEE
127views Database» more  DEXAW 2006»
14 years 1 months ago
History Checking of XML Data Streams
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
Alessandro Campi, Paola Spoletini