Sciweavers

14347 search results - page 2193 / 2870
» Interactive Granular Computing
Sort
View
ECOOP
1995
Springer
15 years 11 months ago
Meta-level Programming with CodA
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
Jeff McAffer
HICSS
1995
IEEE
105views Biometrics» more  HICSS 1995»
15 years 11 months ago
A parallel algorithm for calculating the potential energy in DNA
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...
John S. Conery, Warner L. Peticolas, Thomas Rush I...
TABLEAUX
1995
Springer
15 years 11 months ago
A Connection Based Proof Method for Intuitionistic Logic
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
Jens Otten
201
Voted
VL
1995
IEEE
15 years 11 months ago
Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...
David G. Hendry
SGP
2004
15 years 10 months ago
Parameterization of Triangle Meshes over Quadrilateral Domains
We present a method for parameterizing irregularly triangulated input models over polyhedral domains with quadrilateral faces. A combination of center-based clustering techniques ...
Ioana M. Boier-Martin, Holly E. Rushmeier, Jingyi ...
« Prev « First page 2193 / 2870 Last » Next »