1601 search results - page 270 / 321 » The affordable application of formal methods to software eng... |
CAISE
2001
Springer
14 years 1 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...