4870 search results - page 646 / 974 » Construction of Wavelets and Applications |
188
Voted
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
211
Voted
ESWS
2005
Springer
16 years 10 days ago
2005
Springer
While classic information retrieval methods return whole documents as a result of a query, many information demands would be better satisfied by fine-grain access inside the docu...
169
Voted
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
199
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
165
click to vote
ISW
2005
Springer
16 years 9 days ago
2005
Springer
In a group signature [19], any group member can sign on behalf of the group while remaining anonymous, but its identity can be traced in an future dispute investigation. Essentiall...