Sciweavers

7457 search results - page 1093 / 1492
» The Dynamics of Computing Agent Systems
Sort
View
SG
2010
Springer
15 years 12 months ago
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
Salman Cheema, Joseph J. LaViola Jr.
EUSAI
2004
Springer
15 years 10 months ago
Confidence Estimation of the State Predictor Method
Pervasive resp. ubiquitous systems use context information to adapt appliance behavior to human needs. Even more convenience is reached if the appliance foresees the user's de...
Jan Petzold, Faruk Bagci, Wolfgang Trumler, Theo U...
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
15 years 10 months ago
A genetic model based on simulated crossover of quaternary genes for quadratic fitness
We present a genetic model based on simulated recombination of fixed sequences of quaternary genes (assuming four distinct forms, or alleles). States and dynamics of the infinite ...
Marco Carpentieri, Vito Fedullo
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
15 years 10 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
192
Voted
SIAMSC
2008
146views more  SIAMSC 2008»
15 years 6 months ago
Long Time Numerical Solution of the Navier--Stokes Equations Based on a Sequential Regularization Formulation
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...
Ping Lin, Jian-Guo Liu, Xiliang Lu
« Prev « First page 1093 / 1492 Last » Next »