10159 search results - page 1610 / 2032 » System Design Validation Using Formal Models |
210
click to vote
BIODATAMINING
2008
15 years 7 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
200
click to vote
BMEI
2008
IEEE
16 years 1 months ago
2008
IEEE
Epicardial mapping system is an important tool for studying electrophysiological characteristics of atrial fibrillation (AF). AF is the most common arrhythmia and is becoming more...
203
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...
189
click to vote
VR
2008
IEEE
15 years 5 months ago
2008
IEEE
We describe M4, the multi-modal mesh manipulation system, which aims to provide a more intuitive desktop interface for freeform manipulation of 3D meshes. The system combines inte...
238
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...