Sciweavers

1588 search results - page 246 / 318
» On the Logic of Constitutive Rules
Sort
View
FUIN
2007
108views more  FUIN 2007»
15 years 1 months ago
An Axiomatization of the Token Game Based on Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
IJDAR
2010
110views more  IJDAR 2010»
14 years 12 months ago
Locating and parsing bibliographic references in HTML medical articles
The set of references that typically appear toward the end of journal articles is sometimes, though not always, a field in bibliographic (citation) databases. But even if referenc...
Jie Zou, Daniel X. Le, George R. Thoma
INFOCOM
2010
IEEE
14 years 12 months ago
Maximum Damage Malware Attack in Mobile Wireless Networks
—Malware attacks constitute a serious security risk that threatens to slow down the large scale proliferation of wireless applications. As a first step towards thwarting this se...
M. H. R. Khouzani, Saswati Sarkar, Eitan Altman
GEOS
2009
Springer
14 years 11 months ago
Narrative Geospatial Knowledge in Ethnographies: Representation and Reasoning
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...
Chin-Lung Chang, Yi-Hong Chang, Tyng-Ruey Chuang, ...
VIS
2007
IEEE
107views Visualization» more  VIS 2007»
16 years 2 months ago
Semantic Layers for Illustrative Volume Rendering
Direct volume rendering techniques map volumetric attributes (e.g., density, gradient magnitude, etc.) to visual styles. Commonly this mapping is specified by a transfer function. ...
Peter Rautek, Stefan Bruckner, M. Eduard Grölle...