Sciweavers

7259 search results - page 1250 / 1452
» From Fields to Trees
Sort
View
CMOT
2010
176views more  CMOT 2010»
15 years 4 months ago
A cognitive model of spatial path-planning
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...
David Reitter, Christian Lebiere
185
Voted
ACCV
2010
Springer
15 years 1 months ago
Human Detection in Video over Large Viewpoint Changes
In this paper, we aim to detect human in video over large viewpoint changes which is very challenging due to the diversity of human appearance and motion from a wide spread of view...
Genquan Duan, Haizhou Ai, Shihong Lao
AMAST
2010
Springer
15 years 1 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
GC
2011
Springer
15 years 1 months ago
Ramsey Numbers of Some Bipartite Graphs Versus Complete Graphs
The Ramsey number r(H, Kn) is the smallest positive integer N such that every graph of order N contains either a copy of H or an independent set of size n. The Tur´an number ex(m,...
Tao Jiang, Michael Salerno
IJNSEC
2010
120views more  IJNSEC 2010»
15 years 1 months ago
Secure Group Key Management Scheme for Multicast Networks
This paper proposes a scheme to provide security to dynamic multicast VoIP systems efficiently. Security is usually provided by encrypting the media packets sent from a user to ot...
R. Srinivasan, V. Vaidehi, R. Rajaraman, S. Kanaga...
« Prev « First page 1250 / 1452 Last » Next »