2989 search results - page 216 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
TASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
127
Voted
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
162
Voted
FORTE
2011
14 years 6 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
158
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Mode-seeking has been widely used as a powerful data analysis technique for clustering and filtering in a metric feature space. We introduce a versatile and efficient modeseekin...
145
Voted
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...