1501 search results - page 120 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
199
click to vote
NAACL
2010
15 years 4 months ago
2010
Machine translation benefits from two types of decoding techniques: consensus decoding over multiple hypotheses under a single model and system combination over hypotheses from di...
178
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
150
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
150
click to vote
FM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
184
click to vote
ITCC
2000
IEEE
15 years 10 months ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...