2502 search results - page 355 / 501 » Using probabilistic model checking in systems biology |
127
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...
140
click to vote
ACL
2010
15 years 2 months ago
2010
We present a novel approach to integrate transliteration into Hindi-to-Urdu statistical machine translation. We propose two probabilistic models, based on conditional and joint pr...
139
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
123
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
148
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...