Sciweavers

627 search results - page 68 / 126
» Branched Polyhedral Systems
Sort
View
IWPC
2000
IEEE
14 years 1 months ago
A Pattern Matching Framework for Software Architecture Recovery and Restructuring
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
Kamran Sartipi, Kostas Kontogiannis, Farhad Mavadd...
HASE
1999
IEEE
14 years 1 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
COLING
2008
13 years 10 months ago
Contents Modelling of Neo-Sumerian Ur III Economic Text Corpus
This paper describes a system for processing economic documents written in the ancient Sumerian language. The system is application-oriented and takes advantage of the simplicity ...
Wojciech Jaworski
ICRA
2006
IEEE
139views Robotics» more  ICRA 2006»
14 years 2 months ago
Tracking Unobservable Rotations by Cue Integration
— Model based object tracking has earned significant importance in areas such as augmented reality, surveillance, visual servoing, robotic object manipulation and grasping. Alth...
Ville Kyrki, Danica Kragic
CASES
2004
ACM
14 years 2 months ago
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...