Sciweavers

1004 search results - page 31 / 201
» Modeling and Control - Flexible Structure Spacecraft
Sort
View
ICIP
2003
IEEE
15 years 11 months ago
Stochastic attributed K-d tree modeling of technical paper title pages
Structural information about a document is essential for structured query processing, indexing, and retrieval. A document page can be partitioned into a hierarchy of homogeneous r...
Song Mao, Azriel Rosenfeld, Tapas Kanungo
ICWE
2004
Springer
15 years 3 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 5 days ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
ICLP
2010
Springer
15 years 1 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
ECAL
2005
Springer
15 years 3 months ago
Evolving Neural Mechanisms for an Iterated Discrimination Task: A Robot Based Model
This paper is about the design of an artificial neural network to control an autonomous robot that is required to iteratively solve a discrimination task based on time-dependent s...
Elio Tuci, Christos Ampatzis, Marco Dorigo