Sciweavers

1802 search results - page 284 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
MFCS
1997
Springer
15 years 2 months ago
Dependency-Based Action Refinement
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
Arend Rensink, Heike Wehrheim
WSC
2008
15 years 1 months ago
Simulation of modular building construction
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
Osama M. Mohsen, Paul J. Knytl, Basel Abdulaal, Ja...
LREC
2008
128views Education» more  LREC 2008»
15 years 23 days ago
JURISDIC: Polish Speech Database for Taking Dictation of Legal Texts
The paper provides an overview of the Polish Speech Database for taking dictation of legal texts, created for the purpose of LVCSR system for Polish. It presents background inform...
Grazyna Demenko, Stefan Grocholewski, Katarzyna Kl...
IFIP12
2004
15 years 21 days ago
Analysis and Intelligent Support of Learning Communities in Semi-structured Discussion Environments
: Conventional discussion environments provide the technical platform for distributed discussion and collaboration, but apart from some statistical data collected, rarely provide i...
Andreas Harrer
DYNAMO
2000
110views more  DYNAMO 2000»
15 years 20 days ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes