10910 search results - page 93 / 2182 » Input modeling using a computer algebra system |
QRE
2008
14 years 9 months ago
2008
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Shape writing is an input technology for touch-screen mobile phones and pen-tablets. To shape write text, the user spells out word patterns by sliding a finger or stylus over a gr...
FORTE
2010
14 years 11 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
FAST
2009
14 years 7 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...