1788 search results - page 155 / 358 » Model Theory for Process Algebra |
69
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
With the electromagnetic theory as basis, we present a sensor model for three-axis magnetometers suitable for localization and tracking applications. The model depends on a physic...
114
click to vote
COGSCI
2010
15 years 3 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
112
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
124
click to vote
JAR
2008
15 years 3 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
149
Voted
CRIWG
2007
15 years 5 months ago
2007
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...