Sciweavers

489 search results - page 21 / 98
» A Formal Model for Process Context Learning
Sort
View
ISPW
1994
IEEE
15 years 3 months ago
Issues in process architecture
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
Dewayne E. Perry
BTW
2007
Springer
106views Database» more  BTW 2007»
15 years 6 months ago
Context-Based Data Tailoring for Mobile Users
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
Letizia Tanca
IROS
2008
IEEE
211views Robotics» more  IROS 2008»
15 years 6 months ago
GP-BayesFilters: Bayesian filtering using Gaussian process prediction and observation models
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
Jonathan Ko, Dieter Fox
EDUTAINMENT
2007
Springer
15 years 6 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
IIE
2007
120views more  IIE 2007»
14 years 11 months ago
Words are Silver, Mouse-Clicks are Gold? (or how to optimize the level of language formalization of young students in a Logo-bas
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
Evgenia Sendova, Toni Chehlarova, Pavel Boytchev