3335 search results - page 5 / 667 » A Unified Approach to Modeling and Programming |
115
click to vote
VL
1996
IEEE
15 years 3 months ago
1996
IEEE
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
114
click to vote
POPL
1997
ACM
15 years 2 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
340
click to vote
CVPR
2012
IEEE
13 years 1 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...
FAC
2006
14 years 11 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...