627 search results - page 75 / 126 » Branched Polyhedral Systems |
146
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
173
Voted
AUTOMATICA
2005
15 years 5 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
141
Voted
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This interactivity demonstrates Tern, a tangible programming language for middle school and late elementary school students. Tern consists of a collection of wooden blocks shaped ...
147
click to vote
HICSS
2010
IEEE
16 years 15 days ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
173
Voted
HICSS
2009
IEEE
16 years 13 days ago
2009
IEEE
This paper examines how different facets of favorable user behavior drive the success of an online community by using a unique data set with surveys from 1,389 participants from t...