Sciweavers

3381 search results - page 249 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
WSC
2007
15 years 9 months ago
Optimizing time warp simulation with reinforcement learning techniques
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
Jun Wang, Carl Tropper
JMLR
2010
135views more  JMLR 2010»
15 years 1 months ago
Structured Prediction Cascades
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...
David Weiss, Benjamin Taskar
IWSSD
1993
IEEE
15 years 10 months ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
CHARME
2001
Springer
136views Hardware» more  CHARME 2001»
15 years 10 months ago
Deriving Real-Time Programs from Duration Calculus Specifications
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
François Siewe, Dang Van Hung
DLOG
2009
15 years 4 months ago
Explaining by Example: Model Exploration for Ontology Comprehension
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
Johannes Bauer, Ulrike Sattler, Bijan Parsia