9425 search results - page 58 / 1885 » Some Notes on Models and Modelling |
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
160
click to vote
CAV
2012
Springer
13 years 6 days ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
In this short note we demonstrate the applicability of hyperlink downweighting by means of language model disagreement. The method filters out hyperlinks with no relevance to the ...
ENTCS
2008
14 years 9 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
End-user interactive concept learning is a technique for interacting with large unstructured datasets, requiring insights from both human-computer interaction and machine learning...