2386 search results - page 298 / 478 » Representing and Reasoning with Preferences |
155
click to vote
SIBGRAPI
2005
IEEE
16 years 5 days ago
2005
IEEE
We present tensor scale descriptor (TSD)— a shape descriptor for content-based image retrieval, registration, and analysis. TSD exploits the notion of local structure thickness,...
154
Voted
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
159
click to vote
ECAL
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
161
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
226
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...