Search Sciweavers | Sciweavers

14

click to vote

ISMVL
2008
IEEE

109views Hardware» more ISMVL 2008»

Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics

13 years 11 months ago

Download www.lix.polytechnique.fr

Victor Chepoi, Nadia Creignou, Miki Hermann, Gerno...

claim paper

Read More »

21

click to vote

AAAI
2007

132views Intelligent Agents» more AAAI 2007»

Inference Rules for High-Order Consistency in Weighted CSP

13 years 7 months ago

Download www.aaai.org

Recently deﬁned resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...

Carlos Ansótegui, Maria Luisa Bonet, Jordi ...

claim paper

Read More »

17

click to vote

AGILEDC
2007
IEEE

155views Software Engineering» more AGILEDC 2007»

Agile Program Management: Lessons Learned from the VeriSign Managed Security Services Team

13 years 11 months ago

Download www.agile2007.org

This report examines how the VeriSign Managed Security Services team (MSS) has successfully extended agile software development practices to deal with a complex, multi-product dev...

Peter Hodgkins, Luke Hohmann

claim paper

Read More »

17

click to vote

FGR
2006
IEEE

205views Biometrics» more FGR 2006»

Tracking Using Dynamic Programming for Appearance-Based Sign Language Recognition

13 years 11 months ago

Download www-i6.informatik.rwth-aachen.de

We present a novel tracking algorithm that uses dynamic programming to determine the path of target objects and that is able to track an arbitrary number of different objects. The...

Philippe Dreuw, Thomas Deselaers, David Rybach, Da...

claim paper

Read More »

17

click to vote

WWW
2003
ACM

126views Internet Technology» more WWW 2003»

Description logic programs: combining logic programs with description logic

14 years 6 months ago