Sciweavers

3190 search results - page 43 / 638
» cans 2011
Sort
View
271
Voted
CPM
2011
Springer
402views Combinatorics» more  CPM 2011»
14 years 4 months ago
Tractability Results for the Consecutive-Ones Property with Multiplicity
A binary matrix has the Consecutive-Ones Property (C1P) if its columns can be ordered in such a way that all 1’s in each row are consecutive. We consider here a variant of the C1...
Cedric Chauve, Ján Manuch, Murray Patterson...
FLAIRS
2011
14 years 4 months ago
Learning Opponent Strategies through First Order Induction
In a competitive game it is important to identify the opponent’s strategy as quickly and accurately as possible so that an effective response can be staged. In this vain, this p...
Katie Long Genter, Santiago Ontañón,...
ICSE
2011
IEEE-ACM
14 years 3 months ago
MeCC: memory comparison-based clone detector
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun ...
93
Voted
AAAI
2011
14 years 14 days ago
Termination and Correctness Analysis of Cyclic Control
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
95
Voted
EJWCN
2011
77views more  EJWCN 2011»
14 years 7 months ago
Emulating Opportunistic Networks with KauNet Triggers
In opportunistic networks the availability of an end-to-end path is no longer required. Instead opportunistic networks may take advantage of temporary connectivity opportunities. ...
Tanguy Pérennou, Anna Brunstrom, Tomas Hall...