Sciweavers

666 search results - page 118 / 134
» Inspector Methods for State Abstraction
Sort
View
JCC
2007
127views more  JCC 2007»
14 years 9 months ago
Prediction of GFP spectral properties using artificial neural network
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
Chanin Nantasenamat, Chartchalerm Isarankura-Na-Ay...
JLP
2007
95views more  JLP 2007»
14 years 9 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
CONSTRAINTS
2004
129views more  CONSTRAINTS 2004»
14 years 9 months ago
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
François Fages, Sylvain Soliman, Rém...
CORR
2000
Springer
67views Education» more  CORR 2000»
14 years 9 months ago
The dynamics of iterated transportation simulations
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
Kai Nagel, Marcus Rickert, Patrice M. Simon, Marti...
CORR
1998
Springer
94views Education» more  CORR 1998»
14 years 9 months ago
Semantics and Conversations for an Agent Communication Language
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
Yannis Labrou, Timothy W. Finin