4353 search results - page 180 / 871 » Expressiveness of Process Algebras |
147
click to vote
HCI
2007
15 years 6 months ago
2007
Efficient and effective analysis of large datasets from microarray gene expression data is one of the keys to time-critical personalized medicine. The issue we address here is the ...
CANDC
2009
ACM
15 years 11 months ago
2009
ACM
Expressive inquiry is a process of exploration and discovery within an artistic medium that supports both intuitive play and iterative experimentation. Glowdoodle is a system that...
144
click to vote
IJDAR
2000
15 years 4 months ago
2000
Abstract. Automatic recognition of mathematical expressions is one of the key vehicles in the drive towards transcribing documents in scientific and engineering disciplines into el...
118
click to vote
LOGCOM
2010
15 years 3 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
129
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Reproduction of facial animation play a fundamental role in applications requiring human-computer interactions The objective of this paper is to introduce a geometric mechanism th...