Sciweavers

10790 search results - page 1844 / 2158
» Using feature models to automate model transformations
Sort
View
TLCA
1995
Springer
15 years 10 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
VL
1995
IEEE
158views Visual Languages» more  VL 1995»
15 years 10 months ago
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
Mark Minas, Gerhard Viehstaedt
ATAL
2006
Springer
15 years 8 months ago
Autonomous agents for air-traffic deconfliction
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
Michal Pechoucek, David Sislák, Dusan Pavl&...
COMPGEOM
2008
ACM
15 years 8 months ago
Visualizing and exploring planar algebraic arrangements: a web application
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
Pavel Emeliyanenko, Michael Kerber
CIIT
2007
133views Communications» more  CIIT 2007»
15 years 8 months ago
A unified interface for visual and interactive web search
The interfaces used by the top Web search engines have changed very little since the early days of Web search. These interfaces follow the traditional model of information retriev...
Orland Hoeber, Xue Dong Yang
« Prev « First page 1844 / 2158 Last » Next »