Sciweavers

4451 search results - page 551 / 891
» On Random Ordering Constraints
Sort
View
IBPRIA
2005
Springer
16 years 7 days ago
An Algorithm for the Detection of Multiple Concentric Circles
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
Margarida Silveira
ICCS
2005
Springer
16 years 6 days ago
A Dynamic Data Driven Grid System for Intra-operative Image Guided Neurosurgery
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...
Amitava Majumdar, Adam Birnbaum, Dong Ju Choi, Abh...
ICTAC
2005
Springer
16 years 6 days ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
161
Voted
JSAI
2005
Springer
16 years 6 days ago
Representing Information Structure in a Formal Grammar of Danish
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
Patrizia Paggio
OOPSLA
2005
Springer
16 years 6 days ago
SelfSync: a dynamic round-trip engineering environment
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
Ellen Van Paesschen, Wolfgang De Meuter, Maja D'Ho...