Sciweavers

2105 search results - page 242 / 421
» Grouping with Directed Relationships
Sort
View
90
Voted
JAR
2008
81views more  JAR 2008»
15 years 1 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
82
Voted
EJC
2007
15 years 1 months ago
Partial linear spaces built on hexagons
3 We define four families of geometries with as point graph the graph — or its complement — of all elliptic 4 hyperplanes of a given parabolic quadric in any finite 6-dimensi...
Alice Devillers, Hendrik Van Maldeghem
88
Voted
TCOM
2008
103views more  TCOM 2008»
15 years 1 months ago
On the design of uplink and downlink group-orthogonal multicarrier wireless systems
Abstract--Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as an attractive mutiplexing technique for the uplink segment of wireless syste...
Felip Riera-Palou, Guillem Femenias, Jaume Ramis
120
Voted
AAMAS
2004
Springer
15 years 29 days ago
Agent-Mediated Electronic Commerce
Abstract. Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have devel...
Carles Sierra
105
Voted
CORR
2000
Springer
79views Education» more  CORR 2000»
15 years 27 days ago
Many uses, many annotations for large speech corpora: Switchboard and TDT as case studies
This paper discusses the challenges that arise when large speech corpora receive an ever-broadening range of diverse and distinct annotations. Two case studies of this process are...
David Graff, Steven Bird