6833 search results - page 362 / 1367 » Some two-character sets |
145
Voted
ATVA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
146
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Ontologies are in the heart of the knowledge management process. Different semantic measures have been proposed in the literature to evaluate the strength of the semantic link bet...
165
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
172
click to vote
CSCWD
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents CSVTool (Collaboration Supported by Video Tool), a video-based collaboration tool designed to be simple, platform-independent, and to support multiple users ov...
156
click to vote
EVOW
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Evolutionary algorithms are powerful tools in search and optimization tasks with several applications in complex engineering problems. However, setting all associated par...