Sciweavers

1525 search results - page 188 / 305
» Integrated Systems for Inducing Spatio-Temporal Process Mode...
Sort
View
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
15 years 10 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
ECIS
2000
15 years 5 months ago
A Framework for Clinical Decision Making and Medical Experience Storing
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
Joël Colloc, Laïd Bouzidi
PVLDB
2008
82views more  PVLDB 2008»
15 years 4 months ago
STBenchmark: towards a benchmark for mapping systems
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
Bogdan Alexe, Wang Chiew Tan, Yannis Velegrakis
ICRA
2008
IEEE
123views Robotics» more  ICRA 2008»
15 years 11 months ago
Target-directed attention: Sequential decision-making for gaze planning
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...
Julia Vogel, Nando de Freitas
ICCV
2005
IEEE
15 years 10 months ago
Surface Parameterization Using Riemann Surface Structure
We propose a general method that parameterizes general surfaces with complex (possible branching) topology using Riemann surface structure. Rather than evolve the surface geometry...
Yalin Wang, Xianfeng Gu, Kiralee M. Hayashi, Tony ...