Sciweavers

7773 search results - page 212 / 1555
» On generalized Frame-Stewart numbers
Sort
View
ICLP
2004
Springer
15 years 12 months ago
MProlog: An Extension of Prolog for Modal Logic Programming
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
Linh Anh Nguyen
ARSCOM
2007
115views more  ARSCOM 2007»
15 years 6 months ago
Minimal Universal Bipartite Graphs
A graph U is (induced)-universal for a class of graphs X if every member of X is contained in U as an induced subgraph. We study the problem of finding a universal graph with min...
Vadim V. Lozin, Gábor Rudolf
ISCA
2008
IEEE
142views Hardware» more  ISCA 2008»
16 years 26 days ago
Improving NAND Flash Based Disk Caches
Flash is a widely used storage device that provides high density and low power, appealing properties for general purpose computing. Today, its usual application is in portable spe...
Taeho Kgil, David Roberts, Trevor N. Mudge
CVPR
2006
IEEE
16 years 8 months ago
Unsupervised Bayesian Detection of Independent Motion in Crowds
While crowds of various subjects may offer applicationspecific cues to detect individuals, we demonstrate that for the general case, motion itself contains more information than p...
Gabriel J. Brostow, Roberto Cipolla
CVPR
2008
IEEE
16 years 8 months ago
A deformable local image descriptor
This paper presents a novel local image descriptor that is robust to general image deformations. A limitation with traditional image descriptors is that they use a single support ...
Hong Cheng, Zicheng Liu, Nanning Zheng, Jie Yang