Sciweavers

2835 search results - page 349 / 567
» Automatic Question Answering
Sort
View
TLCA
2005
Springer
16 years 2 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
KES
2006
Springer
15 years 6 months ago
Express Emoticons Choice Method for Smooth Communication of e-Business
For the business communication by email with cellular phones, it has an important weak point. That is to hard to tell to be utterance speed and the pitch of sounds involved in the ...
Nobuo Suzuki, Kazuhiko Tsuda
APN
2010
Springer
15 years 4 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 5 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
TCC
2009
Springer
132views Cryptology» more  TCC 2009»
16 years 7 months ago
Authenticated Adversarial Routing
: The aim of this paper is to demonstrate the feasibility of authenticated throughput-ecient routing in an unreliable and dynamically changing synchronous network in which the majo...
Yair Amir, Paul Bunn, Rafail Ostrovsky