Sciweavers

1919 search results - page 53 / 384
» Recent Extensions to Traviando
Sort
View
JAIR
1998
97views more  JAIR 1998»
13 years 10 months ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
Oleg Ledeniov, Shaul Markovitch
JSS
2002
90views more  JSS 2002»
13 years 10 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
PRL
2002
146views more  PRL 2002»
13 years 10 months ago
Face recognition with one training image per person
: Recently, a method called (PC)2 A was proposed to deal with face recognition with one training image per person. As an extension of the standard eigenface technique, (PC)2 A comb...
Jianxin Wu, Zhi-Hua Zhou
STANDARDVIEW
1998
80views more  STANDARDVIEW 1998»
13 years 10 months ago
An overview of the CORBA portable object adapter
An Object Adapter is an integral part of the Common Object Request Broker Architecture (CORBA). An Object Adapter assists an Object Request Broker (ORB) in delivering client reque...
Irfan Pyarali, Douglas C. Schmidt
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 10 months ago
Mathematical Modeling of Competition in Sponsored Search Market
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
Jian Liu, Dah Ming Chiu