Sciweavers

7342 search results - page 1376 / 1469
» Optimal Language Learning
Sort
View
ICSOC
2010
Springer
15 years 1 months ago
Creating Context-Adaptive Business Processes
Abstract. As the dynamicity of today's business environments keeps increasing, there is a need to continuously adapt business processes in order to respond to the changes in t...
Gabriel Hermosillo, Lionel Seinturier, Laurence Du...
155
Voted
JAPLL
2010
179views more  JAPLL 2010»
15 years 1 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
111
Voted
PASTE
2010
ACM
15 years 1 months ago
Property-aware program sampling
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan
131
Voted
PVLDB
2010
168views more  PVLDB 2010»
15 years 1 months ago
Active Complex Event Processing: Applications in Real-Time Health Care
Our analysis of many real-world event based applications has revealed that existing Complex Event Processing technology (CEP), while effective for efficient pattern matching on e...
Di Wang, Elke A. Rundensteiner, Richard Ellison, H...
124
Voted
SAT
2010
Springer
174views Hardware» more  SAT 2010»
15 years 1 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
« Prev « First page 1376 / 1469 Last » Next »