1626 search results - page 177 / 326 » Subtyping with Power Types |
123
click to vote
ISMIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
113
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
The popular bag-of-words paradigm for action recognition tasks is based on building histograms of quantized features, typically at the cost of discarding all information about rela...
109
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
An automated tether system has been developed for the purpose of improving the efficiency of micro-gravity activities of fully suited astronauts. System features include gripping ...
141
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
180
click to vote
DAWAK
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...