Sciweavers

1959 search results - page 111 / 392
» Concerned About Separation
Sort
View
FMSD
2008
94views more  FMSD 2008»
15 years 4 months ago
Optimal infinite scheduling for multi-priced timed automata
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larse...
CACM
2006
95views more  CACM 2006»
15 years 4 months ago
Computational thinking
ional thinking is using abstraction and decomposition when attacking a large complex task or designing a large complex system. It is separation of concerns. It is choosing an appro...
Jeannette M. Wing
COMBINATORICS
2006
124views more  COMBINATORICS 2006»
15 years 4 months ago
Bounded-Degree Graphs have Arbitrarily Large Geometric Thickness
Abstract. The geometric thickness of a graph G is the minimum integer k such that there is a straight line drawing of G with its edge set partitioned into k plane subgraphs. Eppste...
János Barát, Jirí Matousek, D...
ENTCS
2006
122views more  ENTCS 2006»
15 years 4 months ago
Combining Aspect-Oriented and Strategic Programming
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
Karl Trygve Kalleberg, Eelco Visser
CVIU
2007
152views more  CVIU 2007»
15 years 4 months ago
Vision-based human motion analysis: An overview
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
Ronald Poppe