210 search results - page 21 / 42 » Partial model checking via abstract interpretation |
111
click to vote
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
107
click to vote
AAIM
2009
Springer
15 years 7 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
119
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: Kernel classifiers based on Support Vector Machines (SVM) have achieved state-ofthe-art results in several visual classification tasks, however, recent publications and d...
105
Voted
JANCL
2007
15 years 10 days ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
137
click to vote
ICFP
2001
ACM
16 years 12 days ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...