Sciweavers

3294 search results - page 600 / 659
» Taxonomy of Process Modeling Languages
Sort
View
121
Voted
GISCIENCE
2004
Springer
144views GIS» more  GISCIENCE 2004»
15 years 8 months ago
Landmarks in the Communication of Route Directions
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
Elisabeth Weissensteiner, Stephan Winter
131
Voted
ICALP
2004
Springer
15 years 8 months ago
Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
Marek Chrobak, Wojciech Jawor, Jiri Sgall, Tom&aac...
DSVIS
1998
Springer
15 years 6 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
141
Voted
FORMATS
2006
Springer
15 years 6 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
SMA
2010
ACM
181views Solid Modeling» more  SMA 2010»
15 years 2 months ago
Merging and smoothing machining boundaries on cutter location surfaces
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...
Weishi Li, Ralph R. Martin, Frank C. Langbein