1699 search results - page 39 / 340 » On the Expressive Power of QLTL |
104
click to vote
SC
1994
ACM
15 years 4 months ago
1994
ACM
Most current data dependence tests cannot handle loop bounds or array subscripts that are symbolic, nonlinear expressions e.g. Ani+j, where 0 j n. In this paper, we describe a d...
109
click to vote
AI
2006
Springer
15 years 4 months ago
2006
Springer
We focus on clustering gene expression temporal profiles, and propose a novel, simple algorithm that is powerful enough to find an efficient distribution of genes over clusters. We...
75
Voted
AAAI
2007
15 years 3 months ago
2007
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
A linear projective map called fuzzy discriminant projections has been proposed in this paper. Fuzzy discriminant projection (FDP) is motivated by locality preserving projections ...