Sciweavers

2005 search results - page 303 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
150
Voted
NPIV
1999
ACM
142views Visualization» more  NPIV 1999»
15 years 8 months ago
ALMOST: Exploring Program Traces
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
Manos Reniers, Steven P. Reis
248
Voted
GIS
2008
ACM
16 years 4 months ago
Geospatial information integration based on the conceptualization of geographic domain
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
Miguel Torres, Serguei Levachkine, Rolando Quinter...
117
Voted
SMA
1993
ACM
107views Solid Modeling» more  SMA 1993»
15 years 7 months ago
Relaxed parametric design with probabilistic constraints
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
Yacov Hel-Or, Ari Rappoport, Michael Werman
133
Voted
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 9 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
112
Voted
EMNLP
2010
15 years 1 months ago
A Tree Kernel-Based Unified Framework for Chinese Zero Anaphora Resolution
This paper proposes a unified framework for zero anaphora resolution, which can be divided into three sub-tasks: zero anaphor detection, anaphoricity determination and antecedent ...
Fang Kong, Guodong Zhou