11017 search results - page 340 / 2204 » Closure Systems and their Structure |
182
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
170
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
When the digital forensic investigator looks into the suspicious organization including the company, it is important to obtain the data which has the overview of information of th...
185
click to vote
ENTCS
2006
15 years 6 months ago
2006
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
169
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
XML is the predominant format for representing structured information inside documents, but it stops at the level of files. This makes it hard to use XML-oriented tools to process...
168
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper we present reduced-complexity highperformance receivers for single-user MIMO systems that employ coded OFDM transmission with bit-interleaved coded modulat...