Sciweavers

5451 search results - page 627 / 1091
» Typed Operational Semantics
Sort
View
JNS
2007
63views more  JNS 2007»
15 years 6 months ago
Finite-Gap Solutions of the Vortex Filament Equation: Isoperiodic Deformations
We study the topology of quasiperiodic solutions of the vortex filament equation in a neighborhood of multiply covered circles. We construct these solutions by means of a sequence...
A. Calini, T. Ivey
LOBJET
2000
134views more  LOBJET 2000»
15 years 6 months ago
Transparent Dynamic Database Evolution from Java
: With the increasing provision by the ODMG standard and commercial OODBMS products for transparent access to the traditional database functionality of an OODBMS from Java, there i...
Awais Rashid, Peter Sawyer
JLP
2002
90views more  JLP 2002»
15 years 6 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse
CDES
2010
184views Hardware» more  CDES 2010»
15 years 4 months ago
Delay-Insensitive Cell Matrix
This paper describes the design of a delay-insensitive (DI) Cell Matrix. This architecture allows for massively parallel, self-determined operation and can be used to implement reg...
Scott Smith, David Roclin, Jia Di
JMLR
2010
136views more  JMLR 2010»
15 years 1 months ago
High Dimensional Inverse Covariance Matrix Estimation via Linear Programming
This paper considers the problem of estimating a high dimensional inverse covariance matrix that can be well approximated by "sparse" matrices. Taking advantage of the c...
Ming Yuan