Sciweavers

1317 search results - page 185 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
APN
2010
Springer
15 years 11 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
CGI
2000
IEEE
15 years 10 months ago
Simulated Patient for Orthognathic Surgery
Orthognathic surgery corrects a wide range of minor and major facial and jaw irregularities. This surgery will improve the patients’ ability to chew, speak and breathe. In many ...
Horace Ho-Shing Ip, Christy S. B. Kot, James Xia
ICCBR
1999
Springer
15 years 10 months ago
Surfing the Digital Wave
In the future digital TV will offer an unprecedented level of programme choice. We are told that this will lead to dramatic increases in viewer satisfaction as all viewing tastes a...
Barry Smyth, Paul Cotter
UIST
1994
ACM
15 years 10 months ago
An Architecture for Transforming Graphical Interfaces
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
W. Keith Edwards, Elizabeth D. Mynatt
ECLIPSE
2005
ACM
15 years 8 months ago
InsECTJ: a generic instrumentation framework for collecting dynamic information within Eclipse
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
Arjan Seesing, Alessandro Orso