Sciweavers

796 search results - page 133 / 160
» A New Approach to Protein Identification
Sort
View
ICTAI
1997
IEEE
15 years 3 months ago
Prime Implicant Computation Using Satisfiability Algorithms
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
Vasco M. Manquinho, Paulo F. Flores, João P...
COMMA
2008
15 years 1 months ago
Semantics for Evidence-Based Argumentation
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...
Nir Oren, Timothy J. Norman
IKE
2004
15 years 1 months ago
Ontology based Semantic Metadata for Geoscience Data
In Geoscience domain, large amounts of data are accessible, however they vary in formats and are stored at various organizations leading to problems of data discovery, data intero...
Viral Parekh, Jin-Ping Gwo, Timothy W. Finin
PE
2010
Springer
144views Optimization» more  PE 2010»
14 years 6 months ago
A unified framework for the bottleneck analysis of multiclass queueing networks
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...
Jonatha Anselmi, Paolo Cremonesi
JMLR
2010
194views more  JMLR 2010»
14 years 6 months ago
Graphical Gaussian modelling of multivariate time series with latent variables
In time series analysis, inference about causeeffect relationships among multiple times series is commonly based on the concept of Granger causality, which exploits temporal struc...
Michael Eichler