Sciweavers

2797 search results - page 336 / 560
» Control Structures
Sort
View
ER
2007
Springer
141views Database» more  ER 2007»
15 years 10 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
15 years 10 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
15 years 10 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
15 years 10 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»
15 years 10 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