Sciweavers

124 search results - page 3 / 25
» Object Distinction: Distinguishing Objects with Identical Na...
Sort
View
ICFP
2002
ACM
14 years 7 months ago
Meta-programming with names and necessity
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
Aleksandar Nanevski
AINA
2007
IEEE
14 years 1 months ago
Home-Explorer: Search, Localize and Manage the Physical Artifacts Indoors
A new system named Home-Explorer is proposed to search and localize physical artifacts in smart indoor environment. Our view is object-centered and sensors are attached to several...
Bin Guo, Michita Imai
COSIT
2007
Springer
97views GIS» more  COSIT 2007»
14 years 1 months ago
Semantic Categories Underlying the Meaning of 'Place'
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
Brandon Bennett, Pragya Agarwal
JSC
2006
85views more  JSC 2006»
13 years 7 months ago
SumCracker: A package for manipulating symbolic sums and related objects
We describe a new software package, named SumCracker, for proving and finding identities involving symbolic sums and related objects. SumCracker is applicable to a wide range of e...
Manuel Kauers
CVPR
2010
IEEE
14 years 3 months ago
Human Identity Recognition in Aerial Images
Human identity recognition is an important yet underaddressed problem. Previous methods were strictly limited to high quality photographs, where the principal techniques heavily...
Omar Oreifej, Ramin Mehran, and Mubarak Shah