138 search results - page 17 / 28 » DynJAQ: An adaptive and flexible dynamic FAQ system |
AAAI
2004
13 years 9 months ago
2004
Many autonomous systems such as mobile robots, UAVs or spacecraft, have limited resource capacities and move in dynamic environments. Performing on-board mission planning and exec...
FUIN
2006
13 years 7 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
RCC
2000
13 years 7 months ago
2000
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
BMCBI
2007
13 years 7 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...