Sciweavers

10910 search results - page 145 / 2182
» Input modeling using a computer algebra system
Sort
View
DMS
2008
201views Multimedia» more  DMS 2008»
14 years 11 months ago
A Geometric-based Sketch Recognition Approach for Handwritten Mandarin Phonetic Symbols I
Inputting written Chinese, unlike written English, is a non-trivial operation using a standard keyboard. To accommodate this operation, numerous existing phonetic systems using th...
Paul Taele, Tracy Anne Hammond
ISWC
2000
IEEE
15 years 2 months ago
Enabling Implicit Human Computer Interaction: A Wearable RFID-Tag Reader
Implicit human computer interaction is based on the concept of using user activity in the real world as input to computers. Implicit HCI can help to reduce the problem of user inp...
Albrecht Schmidt, Hans-Werner Gellersen, Christian...
SAC
2010
ACM
14 years 10 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
IWFM
1998
125views Formal Methods» more  IWFM 1998»
14 years 11 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
FGCS
2006
74views more  FGCS 2006»
14 years 10 months ago
A performance model of non-deterministic particle transport on large-scale systems
In this work we present a predictive analytical model that encompasses the performance and scaling characteristics of a nondeterministic particle transport application, MCNP (Mont...
Mark M. Mathis, Darren J. Kerbyson, Adolfy Hoisie