Sciweavers

4666 search results - page 218 / 934
» Equations on Timed Languages
Sort
View
EMNLP
2010
15 years 4 months ago
Handling Noisy Queries in Cross Language FAQ Retrieval
Recent times have seen a tremendous growth in mobile based data services that allow people to use Short Message Service (SMS) to access these data services. In a multilingual soci...
Danish Contractor, Govind Kothari, Tanveer A. Faru...
ENTCS
2008
100views more  ENTCS 2008»
15 years 6 months ago
A Calculus for Team Automata
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Declaring Numbers
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
Bernd Braßel, Sebastian Fischer, Frank Huch
TOOLS
2008
IEEE
16 years 1 months ago
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
Stefan Leue, Alin Stefanescu, Wei Wei
ERCIMDL
2005
Springer
124views Education» more  ERCIMDL 2005»
16 years 4 days ago
A Hybrid Declarative/Procedural Metadata Mapping Language Based on Python
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
Greg Janee, James Frew