Sciweavers

6560 search results - page 931 / 1312
» The Human Context of Information Systems
Sort
View
FOSSACS
2005
Springer
16 years 12 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
BMCBI
2007
179views more  BMCBI 2007»
15 years 7 months ago
Automated smoother for the numerical decoupling of dynamics models
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
Marco Vilela, Carlos Cristiano H. Borges, Susana V...
ISBI
2008
IEEE
16 years 7 months ago
Automated proteome-wide determination of subcellular location using high throughput microscopy
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...
Robert F. Murphy
MM
2009
ACM
163views Multimedia» more  MM 2009»
16 years 1 months ago
CompositeMap: a novel music similarity measure for personalized multimodal music search
How to measure and model the similarity between different music items is one of the most fundamental yet challenging research problems in music information retrieval. This paper ...
Bingjun Zhang, Qiaoliang Xiang, Ye Wang, Jialie Sh...
ACCV
2007
Springer
16 years 1 months ago
An FPGA-Based Smart Camera for Gesture Recognition in HCI Applications
Smart camera is a camera that can not only see but also think and act. A smart camera is an embedded vision system which captures and processes image to extract application-specifi...
Yu Shi, Timothy Tsui