2043 search results - page 119 / 409 » A convenient category of domains |
135
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
133
click to vote
IMAMS
2003
15 years 7 months ago
2003
We define a parameterization for an n-holed tori based on the hyperbolic polygon. We model the domain using a manifold with 2n+ 2 charts, and linear fractional transformations for...
173
click to vote
COLING
1996
15 years 7 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
182
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In a world where all devices will be interconnected, the boundaries between the different devices will start to disappear. Devices will be able to access each other's applica...
157
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...