3299 search results - page 264 / 660 » A general mathematics of names |
187
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Most methods for generating Euler diagrams describe the detection of the general structure of the final draw as the first and most important step. This information is often depi...
162
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
135
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we study colored nonogram solving using Integer Linear Programming. Our approach generalizes the one used by Robert A. Bosch which was developed for black a...
157
click to vote
ICCPOL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
158
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...