4965 search results - page 399 / 993 » A Simple Abstraction for Data Modeling |
202
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
122
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—The construction of world models typically requires laborious survey and cataloguing of a building’s contents. OpenRoomMap attempts to crowd-source this information by...
193
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a novel probabilistic framework to merge information from DWI tractography and resting-state fMRI correlations. In particular, we model the interaction of late...
187
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Classification is a core task in knowledge discovery and data mining, and there has been substantial research effort in developing sophisticated classification models. In a parall...
190
click to vote
SIBGRAPI
2008
IEEE
16 years 1 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...