Sciweavers

4651 search results - page 490 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
128
Voted
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
15 years 10 months ago
An Examination of DSLs for Concisely Representing Model Traversals and Transformations
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
Jeff Gray, Gabor Karsai
136
Voted
ICCS
2007
Springer
15 years 11 months ago
A Multiscale, Cell-Based Framework for Modeling Cancer Development
We use a systems approach to develop a predictive model that medical researchers can use to study and treat cancerous tumors. Our multiscale, cell-based model includes intracellula...
Yi Jiang
VMCAI
2009
Springer
15 years 11 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
GISCIENCE
2004
Springer
101views GIS» more  GISCIENCE 2004»
15 years 10 months ago
Modeling Surface Hydrology Concepts with Endurance and Perdurance
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...
Chen-Chieh Feng, Thomas Bittner, Douglas M. Flewel...
EMNLP
2010
15 years 3 months ago
A Probabilistic Morphological Analyzer for Syriac
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...
Peter McClanahan, George Busby, Robbie Haertel, Kr...