Sciweavers

7861 search results - page 338 / 1573
» Orthographic Modeling Environment
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
15 years 12 months ago
A Self-Disclosure Model for Personal Health Information
The use of information technologies (IT) to collect personal health information is growing in popularity via computer-assisted interviewing and a wide variety of healthcare Web si...
Lotus E. Kam, William G. Chismar
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
15 years 4 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...
IROS
2008
IEEE
135views Robotics» more  IROS 2008»
16 years 1 months ago
Probabilistic UHF RFID tag pose estimation with multiple antennas and a multipath RF propagation model
—We present a novel particle filter implementation for estimating the pose of tags in the environment with respect to an RFID-equipped robot. This particle filter combines sign...
Travis Deyle, Charles C. Kemp, Matthew S. Reynolds
ROBOCUP
1999
Springer
102views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
A Method for Localization by Integration of Imprecise Vision and a Field Model
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
Kazunori Terada, Kouji Mochizuki, Atsushi Ueno, Hi...