Sciweavers

6939 search results - page 1140 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
EDBTW
2006
Springer
15 years 7 months ago
Context Consistency Management Using Ontology Based Model
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
Yingyi Bu, Shaxun Chen, Jun Li, XianPing Tao, Jian...
133
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
Generating statechart designs from scenarios
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements...
Jon Whittle, Johann Schumann
FASE
2010
Springer
15 years 7 months ago
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
Hermann Lehner, Peter Müller
AIIDE
2007
15 years 6 months ago
Automatic Design of Balanced Board Games
AI techniques are already widely used in game software to provide computer-controlled opponents for human players. However, game design is a more-challenging problem than game pla...
Joe Marks, Vincent Hom
138
Voted
GECCO
2010
Springer
165views Optimization» more  GECCO 2010»
15 years 6 months ago
Evolving robust controller parameters using covariance matrix adaptation
In this paper, the advantages of introducing an additional amount of tests when evolving parameters for specific purposes is discussed. A set of optimal PID-controller parameters...
Gerulf K. M. Pedersen, Martin V. Butz
« Prev « First page 1140 / 1388 Last » Next »