Sciweavers

581 search results - page 26 / 117
» formats 2006
Sort
View
FORMATS
2003
Springer
14 years 26 days ago
Folk Theorems on the Determinization and Minimization of Timed Automata
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
Stavros Tripakis
CF
2006
ACM
14 years 1 months ago
Morphogenesis as an amorphous computation
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
Arnab Bhattacharyya
IIHMSP
2006
IEEE
126views Multimedia» more  IIHMSP 2006»
14 years 1 months ago
Extending the Selective MPEG Encryption Algorithm PVEA
Currently, the requirements on MPEG encryption algorithms include: fast speed, format compliance, a wide range of security levels, easy implementation, etc. However, promising can...
Li Weng, Karel Wouters, Bart Preneel
ACL
2006
13 years 9 months ago
An Account for Compound Prepositions in Farsi
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...
Zahra Abolhassani Chime
ALIFE
2006
13 years 7 months ago
Simulating the Hallmarks of Cancer
Cancer can be viewed as the loss of cooperative cell behaviors that normally facilitate multicellularity, including the formation of tissues and organs. Hanahan and Weinberg descri...
Robert G. Abbott, Stephanie Forrest, Kenneth J. Pi...