1743 search results - page 202 / 349 » Generalized Modal Satisfiability |
152
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
162
Voted
CLEF
2009
Springer
15 years 1 months ago
2009
Springer
The ImageCLEF Photo Retrieval Task 2009 focused on image retrieval and diversity. A new collection was utilised in this task consisting of approximately half a million images with...
133
Voted
DLOG
2009
15 years 1 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
202
click to vote
ICMI
2009
Springer
15 years 1 months ago
2009
Springer
During multiparty meetings, participants can use non-verbal modalities such as hand gestures to make reference to the shared environment. Therefore, one hypothesis is that incorpo...
155
Voted
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...