Sciweavers

2797 search results - page 336 / 560
» Control Structures
Sort
View
ER
2007
Springer
141views Database» more  ER 2007»
16 years 1 months ago
Active Meta Modeling Support for Evolving E-contracts
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
P. Radha Krishna, Kamalakar Karlapalem
ESWS
2007
Springer
16 years 1 months ago
Empowering Moodle with Rules and Semantics
This short paper describes preliminary ideas for empowering e-learning platform Moodle with rules and semantics. Many existing web applications already contain a lot of structured ...
Sergey Lukichev, Ion-Mircea Diaconescu, Adrian Giu...
FROCOS
2007
Springer
16 years 1 months ago
Noetherianity and Combination Problems
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
IWINAC
2007
Springer
16 years 1 months ago
Gaining Insights into Laser Pulse Shaping by Evolution Strategies
Abstract. We consider the numerical evolutionary optimization of dynamic molecular alignment by shaped femtosecond laser pulses. We study a simplified model of this quantum contro...
Ofer M. Shir, Joost N. Kok, Thomas Bäck, Marc...
ICMCS
2006
IEEE
107views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Complexity Scalable 2 : 1 Resolution Downscaling MPEG-2 to WMV Transcoder with Adaptive Error Compensation
Abstract— In this paper, we focus on 2 : 1 spatial resolution downscaling transcoding from MPEG-2 to WMV. We propose two architectures (for sequences with or without B-frames res...
Guobin Shen, Yuwen He, Wanyong Cao, Shipeng Li