3335 search results - page 96 / 667 » A Unified Approach to Modeling and Programming |
154
click to vote
TASE
2007
IEEE
16 years 17 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
136
click to vote
JMLR
2002
15 years 6 months ago
2002
We present a unified technique to solve different shallow parsing tasks as a tagging problem using a Hidden Markov Model-based approach (HMM). This technique consists of the incor...
128
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
160
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
160
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...