Sciweavers

2409 search results - page 219 / 482
» On Extended Regular Expressions
Sort
View
TOG
2008
106views more  TOG 2008»
15 years 6 months ago
Green Coordinates
We introduce Green Coordinates for closed polyhedral cages. The coordinates are motivated by Green's third integral identity and respect both the vertices position and faces ...
Yaron Lipman, David Levin, Daniel Cohen-Or
JOT
2002
52views more  JOT 2002»
15 years 6 months ago
Negotiable Interfaces for Components
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
Simon D. Kent, Chris Ho-Stuart, Paul Roe
KBS
2011
81views more  KBS 2011»
15 years 1 months ago
Existential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
Ken Kaneiwa
CVPR
2005
IEEE
16 years 8 months ago
Fields of Experts: A Framework for Learning Image Priors
We develop a framework for learning generic, expressive image priors that capture the statistics of natural scenes and can be used for a variety of machine vision tasks. The appro...
Stefan Roth, Michael J. Black
LICS
2007
IEEE
16 years 1 months ago
Static Name Control for FreshML
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
François Pottier