Sciweavers

26496 search results - page 5238 / 5300
» An Approach to Computing Ethics
Sort
View
AIR
2006
124views more  AIR 2006»
14 years 9 months ago
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
Rodolfo Sabás Gómez, Juan Carlos Aug...
ENTCS
2008
91views more  ENTCS 2008»
14 years 9 months ago
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
Mario Bravetti
ENTCS
2008
103views more  ENTCS 2008»
14 years 9 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
FSS
2008
130views more  FSS 2008»
14 years 9 months ago
A fuzzy k-partitions model for categorical data and its comparison to the GoM model
The grade of membership (GoM) model uses fuzzy sets as memberships of each individual to extreme profiles (or classes) on the likelihood function of multivariate multinomial distr...
Miin-Shen Yang, Yu-Hsuan Chiang, Chiu-Chi Chen, Ch...
BMCBI
2006
112views more  BMCBI 2006»
14 years 9 months ago
Algorithms for incorporating prior topological information in HMMs: application to transmembrane proteins
Background: Hidden Markov Models (HMMs) have been extensively used in computational molecular biology, for modelling protein and nucleic acid sequences. In many applications, such...
Pantelis G. Bagos, Theodore D. Liakopoulos, Stavro...
« Prev « First page 5238 / 5300 Last » Next »