9842 search results - page 346 / 1969 » The Complexity of the Matching-Cut Problem |
135
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Searching for an efficient summarization of multi-channel electroencephalogram (EEG) behavior is a challenging signal analysis problem. Recently, parallel factor analysis (PAR...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
153
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
125
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...
136
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
—Design of space-time codes that scale with the number of transmit antennas is a difficult problem. In this paper, we introduce a new family of space-time trellis codes (STTC) th...