Sciweavers

5034 search results - page 265 / 1007
» A Content-Centric Development Process Model
Sort
View
164
Voted
IANDC
2006
117views more  IANDC 2006»
15 years 4 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
JMLR
2010
150views more  JMLR 2010»
14 years 10 months ago
Supervised Dimension Reduction Using Bayesian Mixture Modeling
We develop a Bayesian framework for supervised dimension reduction using a flexible nonparametric Bayesian mixture modeling approach. Our method retrieves the dimension reduction ...
Kai Mao, Feng Liang, Sayan Mukherjee
ENGL
2008
94views more  ENGL 2008»
15 years 4 months ago
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
Liguo Yu
IJCNLP
2005
Springer
15 years 9 months ago
A Connectionist Model of Anticipation in Visual Worlds
Recent “visual worlds” studies, wherein researchers study language in context by monitoring eye-movements in a visual scene during sentence processing, have revealed much about...
Marshall R. Mayberry, Matthew W. Crocker, Pia Knoe...
126
Voted
RE
2005
Springer
15 years 9 months ago
Model-Driven Visual Requirements Engineering
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...