Sciweavers

9370 search results - page 144 / 1874
» An Abstract Notion of Application
Sort
View
93
Voted
ISAAC
1998
Springer
81views Algorithms» more  ISAAC 1998»
15 years 5 months ago
Visibility Queries in Simple Polygons and Applications
Abstract. In this paper we explore some novel aspects of visibility for stationary and moving points inside a simple polygon
Boris Aronov, Leonidas J. Guibas, Marek Teichmann,...
75
Voted
CAV
2006
Springer
80views Hardware» more  CAV 2006»
15 years 4 months ago
Don't Care Words with an Application to the Automata-Based Approach for Real Addition
d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit
Jochen Eisinger, Felix Klaedtke
HICSS
1995
IEEE
75views Biometrics» more  HICSS 1995»
15 years 4 months ago
RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems
f abstractions and primitives that should be sufficient for building a variety of interesting higher-level paradigms.
Özalp Babaoglu, Renzo Davoli, Luigi-Alberto G...
LANMR
2007
15 years 2 months ago
GLukG logic and its application for non-monotonic reasoning
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
Mauricio Osorio
84
Voted
IMAMS
2003
93views Mathematics» more  IMAMS 2003»
15 years 2 months ago
Application of PDE Methods to Visualization of Heart Data
Abstract. We apply new methods based on Partial Differential Equations techniques (polysplines) to the visualization of the heart surface.
Ognyan Kounchev, Michael J. Wilson