Sciweavers

1100 search results - page 43 / 220
» From Goals to Aspects: Discovering Aspects from Requirements...
Sort
View
101
Voted
BC
2004
113views more  BC 2004»
15 years 1 months ago
Mechanical model of the recovery from stumbling
Abstract. Several strategies have been described as a reaction to a stumble during gait. The elevating strategy, which tries to proceed with the perturbed step, was executed as a r...
A. Forner-Cordero, H. F. J. M. Koopman, Frans C. T...
134
Voted
LPNMR
1999
Springer
15 years 6 months ago
Annotated Revision Programs
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
107
Voted
4OR
2004
57views more  4OR 2004»
15 years 1 months ago
The generation of stable project plans
This text summarises the PhD thesis that Roel Leus presented to obtain the degree of Doctor in Applied Economics at the Katholieke Universiteit Leuven, in September 2003. The promo...
Roel Leus
BSL
2004
100views more  BSL 2004»
15 years 1 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
101
Voted
CONTEXT
2007
Springer
15 years 8 months ago
Adaptive and Context-aware Scenarios for Technology Enhanced Learning System based on a Didactical Theory and a Hierarchical Tas
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
Jean-Louis Tetchueng, Serge Garlatti, Sylvain Laub...