7335 search results - page 1004 / 1467 » Scene Based Reasoning |
151
click to vote
LAWEB
2005
IEEE
16 years 13 days ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
196
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
165
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
215
Voted
SKG
2005
IEEE
16 years 13 days ago
2005
IEEE
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
172
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...