Sciweavers

2200 search results - page 131 / 440
» Programming norm change
Sort
View
INFORMATICALT
2000
95views more  INFORMATICALT 2000»
14 years 10 months ago
Optimal Segmentation of Random Sequences
Abstract. This paper deals with maximum likelihood and least square segmentation of autoregressive random sequences with abruptly changing parameters. Conditional distribution of t...
Antanas Lipeika
PERCOM
2004
ACM
15 years 9 months ago
PCOM - A Component System for Pervasive Computing
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
Christian Becker, Marcus Handte, Gregor Schiele, K...
SEFM
2007
IEEE
15 years 4 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
WMTE
2005
IEEE
15 years 3 months ago
G1: 1 Scenarios: Envisioning the Context for WMTE in 2015
The G1:1 international network of learning researchers met to identify major trends and uncertainties that could drive the evolution of learning technology. Using a technique call...
Jeremy Roschelle, Charles Patton, John Brecht, Mar...
ECAI
2004
Springer
15 years 3 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher