We determine the homeomorphism type of the set of real points of a smooth projective toric surface. The purpose of this note is to prove the following topological classification of real toric surfaces. Theorem [De1, Proposition 4.1.2.] Let X = X(∆) be a smooth projective toric surface. If X is isomorphic to an even Hirzebruch surface F2a, for some integer a ≥ 0, then X(R) is homeomorphic to S ×...

Motto: \\T]ime is unidirectional, past events cannot be reversed, the future is uncertain , and Murphy's Law rules" 39]

Much previous work in artificial intelligence has neglected representing t ime in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first-order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of ...

It is very import for Chinese language processing with the aid of an efficient input method engine (IME), of which pinyinto-Chinese (PTC) conversion is the core part. Meanwhile, though typos are inevitable during user pinyin inputting, existing IMEs paid little attention to such big inconvenience. In this paper, motivated by a key equivalence of two decoding algorithms, we propose a joint graph...

This Paper describes a NaXi pictographs information processing system we developed for different applications. It sets a basis for computerization of NaXi pictographs. Basic NaXi pictographs information processing Font, IME (Input Method Editors) and corresponding application software have been realized. This sets an end to the history that the NaXi pictographs can’t be handled with computers. ...

With rapid increase of information requirements from various application areas, there has been much research on dynamic information storage structures that effectively support insertions, deletions and updates. In this paper we evaluate the performance of the existing dynamic signature file methods such as the S-tree, Quick Filter and H S file, and provide guidelines for the most effective usag...

Abstmct In th i s paper, we address the problem of characterizing the performance of space-time modulat i on in t ime-correlated fading environment. We show that the space-time signals of square size achieving full diversity in quasi-static fading channels can also achieve full diversity i n t ime-correlated fading channels, irrespectively of the t i m e correlation matr ix . We also generalize...

People natural ly express themselves through facial gestures. We have implemented an interface that tracks a person's facial features robustly in real t ime (30Hz) and does not require art i f icial artifacts such as special i l lumination or facial makeup. Even if features become occluded the system is capable of recovering tracking in a couple of frames after the features reappear in the imag...

We describe and apply an iterative, t ime-domain deconvolution approach to receiver-function estimation and illustrate the reliability and advantages of the technique using syntheticand observation-based examples. The iterative technique is commonly used in earthquake t ime-function studies and offers several advantages in receiver-function analysis such as intuitively stripping the largest rec...