2184 search results - page 34 / 437 » Assistive Embedded Technologies |
183
click to vote
APWEB
2011
Springer
14 years 4 months ago
2011
Springer
One difficulty in the design of XML Schema is the restriction that the content models should be deterministic, i. e., the Unique Particle Attribution (UPA) constraint, which means ...
EUROCAST
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
IVS
2008
14 years 9 months ago
2008
The second Visual Analytics Science and Technology (VAST) contest's data consisted of a heterogeneous synthetic collection of news articles with additional supporting files a...
AROBOTS
2008
14 years 9 months ago
2008
Abstract: We describe a methodology for creating new technologies for assisted living in residential environments. The number of eldercare clients is expected to grow dramatically ...