1454 search results - page 61 / 291 » Stateful traits and their formalization |
133
click to vote
CONCUR
1991
Springer
15 years 4 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
99
Voted
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
95
Voted
COLCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
97
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
Predictive State Representations (PSRs) have shown a great deal of promise as an alternative to Markov models. However, learning a PSR from a single stream of data generated from ...
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...