Sciweavers

555 search results - page 45 / 111
» Complexity of Operations on Cofinite Languages
Sort
View
ENTCS
2006
135views more  ENTCS 2006»
13 years 7 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
13 years 11 months ago
Interaction in Really Graphical User Interfaces
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
Gerhard Viehstaedt, Mark Minas
SAC
2009
ACM
14 years 2 months ago
Adaptive burst detection in a stream engine
Detecting bursts in data streams is an important and challenging task. Due to the complexity of this task, usually burst detection cannot be formulated using standard query operat...
Marcel Karnstedt, Daniel Klan, Christian Pöli...
DAGSTUHL
2006
13 years 9 months ago
Coxeter Lattice Paths
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Wa...
AGTIVE
2003
Springer
14 years 26 days ago
Local Specification of Surface Subdivision Algorithms
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
Colin Smith, Przemyslaw Prusinkiewicz, Faramarz F....