4609 search results - page 6 / 922 » Automatic Generation of Sigma-Protocols |
SOSYM
2010
14 years 7 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
MIDDLEWARE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...
ISBI
2011
IEEE
14 years 1 months ago
2011
IEEE
Studying image intensity change in each pixel in dynamic contrast enhanced (DCE)-MRI data enables differentiation of different tissue types based on their difference in contrast u...
IUI
2011
ACM
14 years 11 days ago
2011
ACM
Recent research in Augmented and Alternative Communication (AAC) has begun to make use of Natural Language Generation (NLG) techniques. This creates an opportunity for constructin...
EMNLP
2010
14 years 7 months ago
2010
We employ statistical methods to analyze, generate, and translate rhythmic poetry. We first apply unsupervised learning to reveal word-stress patterns in a corpus of raw poetry. W...