Sciweavers

1153 search results - page 154 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
114
Voted
CAISE
1993
Springer
15 years 7 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos
139
Voted
BCSHCI
2007
15 years 5 months ago
Interaction design in the wild
The StoryBank project in the UK is exploring the application of digital storytelling technology to information sharing in the developing world. A multidisciplinary team of interac...
Dorothy Rachovides, David Frohlich, Maxine Frank
99
Voted
LREC
2008
128views Education» more  LREC 2008»
15 years 5 months ago
JURISDIC: Polish Speech Database for Taking Dictation of Legal Texts
The paper provides an overview of the Polish Speech Database for taking dictation of legal texts, created for the purpose of LVCSR system for Polish. It presents background inform...
Grazyna Demenko, Stefan Grocholewski, Katarzyna Kl...
147
Voted
EUROCRYPT
2004
Springer
15 years 9 months ago
Positive Results and Techniques for Obfuscation
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
Ben Lynn, Manoj Prabhakaran, Amit Sahai
134
Voted
BMCBI
2005
116views more  BMCBI 2005»
15 years 3 months ago
Dynamic covariation between gene expression and proteome characteristics
Background: Cells react to changing intra- and extracellular signals by dynamically modulating complex biochemical networks. Cellular responses to extracellular signals lead to ch...
Mansour Taghavi Azar Sharabiani, Markku Siermala, ...