Sciweavers

6040 search results - page 763 / 1208
» Generating Instance Models from Meta Models
Sort
View
COGSCI
2010
75views more  COGSCI 2010»
15 years 5 months ago
Five Reasons to Doubt the Existence of a Geometric Module
It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the huma...
Alexandra D. Twyman, Nora S. Newcombe
SPIN
2010
Springer
15 years 5 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
ICMCS
2007
IEEE
162views Multimedia» more  ICMCS 2007»
15 years 10 months ago
User-Assisted People Search in Consumer Image Collections
In this paper, we investigate the process of searching for images of specified people in the consumer family photo domain. This domain is very different from the controlled enviro...
Andrew C. Gallagher, Madirakshi Das, Alexander C. ...
TMM
2010
199views Management» more  TMM 2010»
15 years 1 months ago
Video Annotation Through Search and Graph Reinforcement Mining
Abstract--Unlimited vocabulary annotation of multimedia documents remains elusive despite progress solving the problem in the case of a small, fixed lexicon. Taking advantage of th...
Emily Moxley, Tao Mei, Bangalore S. Manjunath
228
Voted
INFOCOM
2011
IEEE
14 years 10 months ago
Fine-grained location-free planarization in wireless sensor networks
—Extracting planar graph from network topologies is of great importance for efficient protocol design in wireless ad hoc and sensor networks. Previous techniques of planar topol...
Dezun Dong, Yunhao Liu, Xiangke Liao, Xiang-Yang L...