Sciweavers

555 search results - page 45 / 111
» Complexity of Operations on Cofinite Languages
Sort
View
122
Voted
ENTCS
2006
135views more  ENTCS 2006»
15 years 3 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...
152
Voted
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
15 years 7 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
139
Voted
SAC
2009
ACM
15 years 10 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...
134
Voted
DAGSTUHL
2006
15 years 5 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...
136
Voted
AGTIVE
2003
Springer
15 years 9 months 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....