Sciweavers

1604 search results - page 239 / 321
» Development Separation in Lambda-Calculus
Sort
View
CVIU
2007
112views more  CVIU 2007»
15 years 4 months ago
Pedestrian detection and tracking in infrared imagery using shape and appearance
In this paper, we present an approach toward pedestrian detection and tracking from infrared imagery using joint shape and appearance cues. A layered representation is first intr...
Congxia Dai, Yunfei Zheng, Xin Li
DATAMINE
2007
93views more  DATAMINE 2007»
15 years 4 months ago
Evaluation of ordinal attributes at value level
We propose a novel context sensitive algorithm for evaluation of ordinal attributes which exploits the information hidden in ordering of attributes’ and class’ values and prov...
Marko Robnik-Sikonja, Koen Vanhoof
DC
2007
15 years 4 months ago
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
Joffroy Beauquier, Maria Gradinariu, Colette Johne...
JWSR
2008
145views more  JWSR 2008»
15 years 4 months ago
An Access-Control Framework for WS-BPEL
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
Federica Paci, Elisa Bertino, Jason Crampton
JODL
2006
116views more  JODL 2006»
15 years 4 months ago
Appearance and functionality of electronic books
We present the results and the lessons learned from two separate and independent studies into the design, development, and evaluation of electronic books for information access: th...
Fabio Crestani, Monica Landoni, Massimo Melucci