2153 search results - page 306 / 431 » From Requirements Models to Formal Specifications in B |
198
click to vote
ICOODB
2009
15 years 4 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
183
click to vote
DLOG
2000
15 years 7 months ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
146
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Motivated by the success of parts based representations in face detection we have attempted to address some of the problems associated with applying such a philosophy to the task ...
180
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...
196
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...