254 search results - page 38 / 51 » A framework for automated testing of javascript web applicat... |
ICDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
: An effect of the growing importance of the Semantic Web used for sharing knowledge over the Internet was the development and publishing of many ontologies in different domains. T...
ALP
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
GIS
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...