4340 search results - page 666 / 868 » Formal Methods and Cryptography |
194
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
154
click to vote
SSD
2005
Springer
15 years 11 months ago
2005
Springer
A moving cluster is defined by a set of objects that move close to each other for a long time interval. Real-life examples are a group of migrating animals, a convoy of cars movin...
156
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
139
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
134
click to vote
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...