Sciweavers

2123 search results - page 262 / 425
» Composition of Cyber-Physical Systems
Sort
View
FIW
2007
123views Communications» more  FIW 2007»
15 years 8 months ago
Composing Features by Managing Inconsistent Requirements
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
Robin C. Laney, Thein Than Tun, Michael Jackson, B...
LREC
2008
131views Education» more  LREC 2008»
15 years 8 months ago
Semantic Frame Annotation on the French MEDIA corpus
This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotat...
Marie-Jean Meurs, Frédéric Duvert, F...
WSC
2000
15 years 7 months ago
Low cost response surface methods for and from simulation optimization
We propose "low cost response surface methods" (LCRSM) that typically require half the experimental runs of standard response surface methods based on central composite ...
Theodore Allen, Liyang Yu
DLOG
1996
15 years 7 months ago
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
Franz Baader, Ulrike Sattler
EC
2008
146views ECommerce» more  EC 2008»
15 years 6 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga