Sciweavers

1776 search results - page 90 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
IJCNLP
2004
Springer
15 years 5 months ago
Visual Semantics and Ontology of Eventive Verbs
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
Minhua Ma, Paul McKevitt
OOPSLA
1998
Springer
15 years 4 months ago
Visualizing Dynamic Software System Information Through High-Level Models
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
Robert J. Walker, Gail C. Murphy, Bjørn N. ...
ICRA
2002
IEEE
133views Robotics» more  ICRA 2002»
15 years 4 months ago
Stereo-Based Obstacle Avoidance in Indoor Environments with Active Sensor Re-Calibration
We present a stereo-based obstacle avoidance system for mobile vehicles. The system operates in three steps. First, it models the surface geometry of supporting surface and remove...
Darius Burschka, Stephen Lee, Gregory D. Hager
ICDCSW
2003
IEEE
15 years 5 months ago
Middleware and Application Adaptation Requirements and Their Support in Pervasive Computing
Pervasive computing environments are characterized by an additional heterogeneity compared to existing computing infrastructures. Devices ranging from small embedded systems to fu...
Christian Becker, Gregor Schiele
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 4 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...