Sciweavers

26071 search results - page 4895 / 5215
» Making
Sort
View
COMPUTER
2006
92views more  COMPUTER 2006»
15 years 6 months ago
The Moment Camera
more abstract realms of Impressionism, and more pure Abstraction. The camera, although capable of capturing instants in time, cannot on its own--except in rare instances--truly rec...
Michael F. Cohen, Richard Szeliski
COR
2006
99views more  COR 2006»
15 years 6 months ago
Waste collection vehicle routing problem with time windows
In this paper, we address a real life waste collection vehicle routing problem with time windows (VRPTW) with consideration of multiple disposal trips and drivers' lunch brea...
Byung-In Kim, Seongbae Kim, Surya Sahoo
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 6 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 6 months ago
Two polygraphic presentations of Petri nets
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
Yves Guiraud
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 6 months ago
Lambda Types on the Lambda Calculus with Abbreviations
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
F. Guidi
« Prev « First page 4895 / 5215 Last » Next »