308 search results - page 49 / 62 » Modular Verification of Interactive Systems with an Applicat... |
EGOV
2005
Springer
15 years 5 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
BMCBI
2005
14 years 11 months ago
2005
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
93
Voted
ISWC
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper we describe the first stand-alone Augmented Reality (AR) system with self-tracking running on an unmodified personal digital assistant (PDA) with a commercial camera...
WMTE
2006
IEEE
15 years 5 months ago
2006
IEEE
Mobile learning has a lot of potential for supporting learning in situations such as in a museum, at a tourist sight or when exploring biological phenomena at a riverside. There l...