2850 search results - page 94 / 570 » On Timed Models and Full Abstraction |
180
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
188
click to vote
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
Rendering the structural color of natural objects or modern industrial products in the 3D environment is not possible with RGBbased graphics platforms and software and very time co...
165
click to vote
AIEDAM
2008
15 years 7 months ago
2008
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...
199
click to vote
IJCV
2012
13 years 9 months ago
2012
Abstract Computer vision is full of problems elegantly expressed in terms of energy minimization. We characterize a class of energies with hierarchical costs and propose a novel hi...
217
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...