Sciweavers

11321 search results - page 355 / 2265
» Improvements to Turing's method
Sort
View
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 10 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
ICLP
1995
Springer
15 years 10 months ago
A Method for Implementing Equational Theories as Logic Programs
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maar...
189
Voted
LREC
2008
105views Education» more  LREC 2008»
15 years 8 months ago
Combining Terminology Resources and Statistical Methods for Entity Recognition: an Evaluation
Terminologies and other knowledge resources are widely used to aid entity recognition in specialist domain texts. As well as providing lexicons of specialist terms, linkage from t...
Angus Roberts, Robert Gaizasukas, Mark Hepple, Yik...
IADIS
2004
15 years 8 months ago
Problem-Based Learning Method Simulation by PBL Virtual Environment
Problem Based Learning (PBL) is a new teaching-learning method originated from the changes that have occurred in the world economical basis and in the information and communicatio...
Hernane Borges de Barros Pereira, Gabriela Ribeiro...
BMCBI
2008
172views more  BMCBI 2008»
15 years 7 months ago
Classification of drug molecules considering their IC50 values using mixed-integer linear programming based hyper-boxes method
Background: A priori analysis of the activity of drugs on the target protein by computational approaches can be useful in narrowing down drug candidates for further experimental t...
Pelin Armutlu, Muhittin Emre Ozdemir, Fadime Ü...