Sciweavers

34181 search results - page 276 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
PCI
2005
Springer
15 years 8 months ago
NGCE - Network Graphs for Computer Epidemiologists
Abstract. Graphs are useful data structures capable of efficiently representing a variety of technological and social networks. They are therefore utilized in simulation-based stud...
Vasileios Vlachos, Vassiliki Vouzi, Damianos Chatz...
IUI
2004
ACM
15 years 8 months ago
Computer algebra in interface design research
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Harold W. Thimbleby, Jeremy Gow
FOSSACS
2004
Springer
15 years 8 months ago
Soft lambda-Calculus: A Language for Polynomial Time Computation
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
Patrick Baillot, Virgile Mogbil
AUIC
2002
IEEE
15 years 8 months ago
Computer-Aided Sketching to Capture Preliminary Design
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
Mark D. Apperley, Beryl Plimmer
ECBS
1999
IEEE
112views Hardware» more  ECBS 1999»
15 years 7 months ago
Metaprogrammable Toolkit for Model-Integrated Computing
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
Ákos Lédeczi, Miklos Maroti, Gabor K...