Sciweavers

3384 search results - page 190 / 677
» More Testable Properties
Sort
View
SEMWEB
2004
Springer
14 years 2 months ago
Generating On the Fly Queries for the Semantic Web: The ICS-FORTH Graphical RQL Interface (GRQL)
Abstract. Building user-friendly GUIs for browsing and filtering RDF/S description bases while exploiting in a transparent way the expressiveness of declarative query/view language...
Nikolaos Athanasis, Vassilis Christophides, Dimitr...
SOFSEM
2004
Springer
14 years 2 months ago
Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
Matej Makula, Michal Cernanský, Lubica Benu...
HAPTICS
2003
IEEE
14 years 2 months ago
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
J. Melli-Huber, Brian Weinberg, Avi Fisch, Jason N...
IRI
2003
IEEE
14 years 2 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ICALP
2003
Springer
14 years 2 months ago
Quantitative Analysis of Probabilistic Lossy Channel Systems
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
Alexander Moshe Rabinovich