Sciweavers

9455 search results - page 237 / 1891
» The Modelling Language Zinc
Sort
View
DGO
2008
131views Education» more  DGO 2008»
15 years 7 months ago
A domain-specific language for urban simulation variables
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
Alan Borning, Hana Sevcikova, Paul Waddell
FMOODS
2008
15 years 7 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
ECAL
1999
Springer
15 years 10 months ago
Modeling Categorization Dynamics through Conversation by Constructive Approach
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
Takashi Hashimoto
TASLP
2008
136views more  TASLP 2008»
15 years 5 months ago
On Acoustic Diversification Front-End for Spoken Language Identification
The parallel phone recognition followed by language model (PPRLM) architecture represents one of the state-of-the-art spoken language identification systems. A PPRLM system compris...
Khe Chai Sim, Haizhou Li
BMCBI
2004
123views more  BMCBI 2004»
15 years 5 months ago
A two-way interface between limited Systems Biology Markup Language and R
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
Tomas Radivoyevitch