Sciweavers

3229 search results - page 152 / 646
» Mixing
Sort
View
CICLING
2008
Springer
15 years 2 months ago
Mixing Statistical and Symbolic Approaches for Chemical Names Recognition
This paper investigates the problem of automatic chemical Term Recognition (TR) and proposes to tackle the problem by fusing Symbolic and statistical techniques. Unlike other solut...
Florian Boudin, Juan Manuel Torres Moreno, Marc El...
95
Voted
CONCUR
2008
Springer
15 years 2 months ago
Mixing Lossy and Perfect Fifo Channels
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...
Pierre Chambart, Ph. Schnoebelen
78
Voted
FOSSACS
2008
Springer
15 years 2 months ago
Complexity of Decision Problems for Mixed and Modal Specifications
Adam Antonik, Michael Huth, Kim Guldstrand Larsen,...
89
Voted
HCI
2007
15 years 2 months ago
Mixing Evaluation Methods for Assessing the Utility of an Interactive InfoVis Technique
Abstract. We describe the results of an empirical study comparing an interactive Information Visualization (InfoVis) technique called Gravi++ (GRAVI), Exploratory Data Analysis (ED...
Markus Rester, Margit Pohl, Sylvia Wiltner, Klaus ...
IMECS
2007
15 years 2 months ago
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
Ka L. Man, Michel P. Schellekens