Sciweavers

1747 search results - page 251 / 350
» A Comparative Analysis of Architecture Frameworks
Sort
View
ENTCS
2000
120views more  ENTCS 2000»
15 years 6 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
INDIASE
2009
ACM
16 years 27 days ago
Instant multi-tier web applications without tears
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
Gautam Shroff, Puneet Agarwal, Premkumar T. Devanb...
ICIP
2005
IEEE
16 years 8 months ago
A generic and automatic content-based approach for improved H.264/MPEG4-AVC video coding
A new content-based approach for improved H.264/MPEG4-AVC video coding is presented. The framework is generic because it is based on a closed-loop texture analysis by synthesis alg...
Patrick Ndjiki-Nya, Tobias Hinz, Aljoscha Smolic, ...
MOZ
2004
Springer
15 years 11 months ago
A Mozart Implementation of CP(BioNet)
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
Grégoire Dooms, Yves Deville, Pierre Dupont
ACL
2007
15 years 7 months ago
Unsupervised Language Model Adaptation Incorporating Named Entity Information
Language model (LM) adaptation is important for both speech and language processing. It is often achieved by combining a generic LM with a topic-specific model that is more releva...
Feifan Liu, Yang Liu