Sciweavers

4924 search results - page 400 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
FSTTCS
2004
Springer
16 years 4 days ago
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
Ahmed Bouajjani, Antoine Meyer
JGS
2000
182views more  JGS 2000»
15 years 6 months ago
The academic success of GIS in geography: Problems and prospects
The success of GIS has in some ways proved to be a mixed blessing to academic geography. While quantitative geography has developed as a disciplinary specialism over a long period ...
Paul A. Longley
CTW
2006
88views more  CTW 2006»
15 years 6 months ago
Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
David B. Kaber, Noa Segall, Rebecca S. Green, K. E...
ICSE
2010
IEEE-ACM
15 years 11 months ago
A degree-of-knowledge model to capture source code familiarity
The size and high rate of change of source code comprising a software system make it difficult for software developers to keep up with who on the team knows about particular parts...
Thomas Fritz, Jingwen Ou, Gail C. Murphy, Emerson ...
IDA
1999
Springer
15 years 11 months ago
Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Matthew Easley, Elizabeth Bradley