Sciweavers

621 search results - page 46 / 125
» Integrated Event Recognition from Multiple Sources
Sort
View
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
14 years 3 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
BMCBI
2005
114views more  BMCBI 2005»
13 years 10 months ago
Systematic analysis of human kinase genes: a large number of genes and alternative splicing events result in functional and stru
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...
Luciano Milanesi, Mauro Petrillo, Leandra Sepe, An...
BIB
2002
136views more  BIB 2002»
13 years 10 months ago
Technologies for Integrating Biological Data
The process of building a new database relevant to some field of study in biomedicine involves transforming, integrating, and cleansing multiple data sources, as well as adding ne...
L. Wong
DOLAP
2003
ACM
14 years 3 months ago
Using AutoMed metadata in data warehousing environments
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
Hao Fan, Alexandra Poulovassilis
ICASSP
2009
IEEE
14 years 5 months ago
A flat direct model for speech recognition
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
Georg Heigold, Geoffrey Zweig, Xiao Li, Patrick Ng...