Sciweavers

4689 search results - page 725 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 21 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CORR
2011
Springer
139views Education» more  CORR 2011»
15 years 1 months ago
A Science Model Driven Retrieval Prototype
This paper is about a better understanding on the structure and dynamics of science and the usage of these insights for compensating the typical problems that arises in metadata-d...
Philipp Mayr, Philipp Schaer, Peter Mutschke
JIB
2007
121views more  JIB 2007»
15 years 6 months ago
MetHouse: Raw and Preprocessed Mass Spectrometry Data
We are developing a vendor-independent archive and on top of that a data warehouse for mass spectrometry metabolomics data. The archive schema resembles the communitydeveloped obj...
Antje Gaida, Steffen Neumann
ACII
2011
Springer
14 years 6 months ago
A Psychologically-Inspired Match-Score Fusion Model for Video-Based Facial Expression Recognition
Communication between humans is rich in complexity and is not limited to verbal signals; emotions are conveyed with gesture, pose and facial expression. Facial Emotion Recognition ...
Albert Cruz, Bir Bhanu, Songfan Yang
CIKM
2008
Springer
15 years 8 months ago
Kernel methods, syntax and semantics for relational text categorization
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
Alessandro Moschitti