Sciweavers

2564 search results - page 260 / 513
» Witness sets of projections
Sort
View
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
15 years 11 months ago
Functional-Based Synthesis of Systolic Online Multipliers
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
Tudor Jebelean, Laura Szakacs
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
15 years 11 months ago
Easing Program Comprehension by Sharing Navigation Data
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
Robert DeLine, Mary Czerwinski, George G. Robertso...
VL
2005
IEEE
104views Visual Languages» more  VL 2005»
15 years 11 months ago
Show Me! Guidelines for Producing Recorded Demonstrations
Although recorded demonstrations (screen capture animations with narration) have become a popular form of instruction for user interfaces, little work has been done to describe gui...
Catherine Plaisant, Ben Shneiderman
ATAL
2005
Springer
15 years 11 months ago
Formal Modeling and Analysis of Organizations
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
Egon L. van den Broek, Catholijn M. Jonker, Alexei...
ESWS
2005
Springer
15 years 11 months ago
Monitoring Research Collaborations Using Semantic Web Technologies
In the current research environment, funding agencies are increasingly required to demonstrate that the projects they fund represent value for money. When funds are disbursed in a ...
Harith Alani, Nicholas Gibbins, Hugh Glaser, Steph...