805 search results - page 126 / 161 » Semantic Modeling of Places using Objects |
162
Voted
AISS
2010
15 years 1 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...
110
Voted
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Video Content is always huge by itself with abundant information. Extracting explicit semantic information has been extensively investigated such as object detection, structure an...
161
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
147
Voted
CG
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we present a sketch modelling system which we call Stilton. The program resembles a desktop VRML browser, allowing a user to navigate a 3D model in a perspective pro...
140
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...