Sciweavers

11561 search results - page 344 / 2313
» A Language for Biochemical Systems
Sort
View
LLC
2011
120views more  LLC 2011»
15 years 1 months ago
How Talker Identity Relates to Language Processing
Speech carries both linguistic content – phonemes, words, sentences – and talker information, sometimes called ‘indexical information’. While talker variability materially...
Sarah C. Creel, Micah R. Bregman
SIGMOD
2008
ACM
123views Database» more  SIGMOD 2008»
16 years 7 months ago
SchemaScope: a system for inferring and cleaning XML schemas
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
Geert Jan Bex, Frank Neven, Stijn Vansummeren
AMTA
1998
Springer
15 years 11 months ago
EMIS: A Multilingual Information System
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Bärbel Ripplinger
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 10 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
WFLP
2000
Springer
82views Algorithms» more  WFLP 2000»
15 years 10 months ago
Strong and NV-sequentiality of constructor systems
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
Salvador Lucas