709 search results - page 6 / 142 » In-stroke word completion |
189
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
In bibliographies like DBLP and Citeseer, there are three kinds of entity-name problems that need to be solved. First, multiple entities share one name, which is called the name sh...
103
click to vote
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
ACS
2008
14 years 12 months ago
2008
In this paper, it is shown that any non-M-cosingular -supplemented module M is (D3) if and only if M has the summand intersection property. Let N [M ] be any module such that Z M(...
JC
2008
14 years 11 months ago
2008
We show several estimates on the probability distribution of some data at points in real complete intersection varieties: norms of real affine solutions, condition number of real ...
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...