12981 search results - page 2391 / 2597 » Model Checking (Abstract) |
136
click to vote
EOR
2006
15 years 3 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
143
click to vote
IJPRAI
2008
15 years 3 months ago
2008
unsupervised construction of topological maps, which provide an abstraction of the environment in terms of visual aspects. An unsupervised clustering algorithm is used to represent...
139
click to vote
ISCA
2008
IEEE
15 years 3 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
134
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
109
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract—We study a problem of broadcasting confidential messages to multiple receivers under an information-theoretic secrecy constraint. Two scenarios are considered: 1) all r...