Sciweavers

2531 search results - page 328 / 507
» Group testing in graphs
Sort
View
CSE
2009
IEEE
16 years 1 months ago
Predicting Interests of People on Online Social Networks
—We introduce a new data set which contains both a self-declared friendship network and self-chosen attributes from a finite list defined by the social networking site. We prop...
Apoorv Agarwal, Owen Rambow, Nandini Bhardwaj
ICRA
2009
IEEE
188views Robotics» more  ICRA 2009»
16 years 1 months ago
Potential field guide for humanoid multicontacts acyclic motion planning
Abstract—We present a motion planning algorithm that computes rough trajectories used by a contact-points planner as a guide to grow its search graph. We adapt collision-free mot...
Karim Bouyarmane, Adrien Escande, Florent Lamiraux...
ISCIS
2009
Springer
16 years 1 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ESA
2007
Springer
105views Algorithms» more  ESA 2007»
16 years 22 days ago
Finding Branch-Decompositions and Rank-Decompositions
Abstract. We present a new algorithm that can output the rankdecomposition of width at most k of a graph if such exists. For that we use an algorithm that, for an input matroid rep...
Petr Hlinený, Sang-il Oum
EUROGP
2007
Springer
164views Optimization» more  EUROGP 2007»
16 years 22 days ago
The Induction of Finite Transducers Using Genetic Programming
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...
Amashini Naidoo, Nelishia Pillay