Sciweavers

2105 search results - page 242 / 421
» Grouping with Directed Relationships
Sort
View
JAR
2008
81views more  JAR 2008»
13 years 10 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
EJC
2007
13 years 10 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
TCOM
2008
103views more  TCOM 2008»
13 years 10 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
AAMAS
2004
Springer
13 years 10 months 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
CORR
2000
Springer
79views Education» more  CORR 2000»
13 years 10 months 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