Sciweavers

6047 search results - page 73 / 1210
» A Scenario Construction Process
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 11 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICRA
1999
IEEE
110views Robotics» more  ICRA 1999»
15 years 9 months ago
Range-Sensor Based Navigation in Three Dimensions
This paper presents a new globally convergent rangesensor based navigation algorithm in three-dimensions, called 3DBug. The 3DBug algorithm navigates a point robot in a three-dime...
Ishay Kamon, Ehud Rivlin, Elon Rimon
JVCA
2002
180views more  JVCA 2002»
15 years 5 months ago
A programming environment for behavioural animation
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
Frédéric Devillers, Stéphane ...
CORR
2012
Springer
187views Education» more  CORR 2012»
14 years 1 months ago
Sequential Inference for Latent Force Models
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...
Jouni Hartikainen, Simo Särkkä
WWW
2008
ACM
16 years 6 months ago
Automatic online news issue construction in web environment
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...
Canhui Wang, Min Zhang, Shaoping Ma, Liyun Ru