Sciweavers

314 search results - page 16 / 63
» connection 1998
Sort
View
IMR
1998
Springer
14 years 1 months ago
Reliable Whisker Weaving via Curve Contraction
Whisker Weaving is an advancing front algorithm for all-hexahedral mesh generation. It uses global information derived from grouping the mesh dual into surfaces, the STC, to constr...
Nathan T. Folwell, Scott A. Mitchell
RTAS
1998
IEEE
14 years 2 months ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine
VDB
1998
169views Database» more  VDB 1998»
13 years 11 months ago
What You See is What You Store: Database-Driven Interfaces
Any graphical user interface (GUI) requires large amounts of complex metadata for the layout of windows and menus, their style and behavior, their bindings, etc. Designing, debugg...
Jens Thamm, Lutz Michael Wegner
INFSOF
1998
88views more  INFSOF 1998»
13 years 9 months ago
A logic based language for networked agents
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
Dianxiang Xu
NN
1998
Springer
13 years 9 months ago
Multiple cusp bifurcations
The cusp bifurcation provides one of the simplest routes leading to bistability and hysteresis in neuron dynamics. We show that weakly connected networks of neurons near cusp bifu...
Eugene M. Izhikevich