2450 search results - page 275 / 490 » Exploring Unknown Environments |
115
click to vote
AIPS
1996
15 years 5 months ago
1996
Statistical exploratory data analysis (EDA) poses a di cult search problem. However, the EDA process lends itself to a planning formulation. We have built a system, called Aide, t...
116
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
216
click to vote
JAPLL
2006
15 years 4 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
141
click to vote
NETWORK
2008
15 years 4 months ago
2008
In this paper, we explore services and capabilities that can be enabled by the localization of various "assets" in a data center or IT environment. We also describe the u...
129
click to vote
ECTEL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper reports student interaction patterns and self-reported results of using Twitter microblogging environment. The study employs longitudinal probabilistic social ...