895 search results - page 103 / 179 » A Spectrum of Applications of Automated Reasoning |
GIS
2008
ACM
14 years 11 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
109
click to vote
CSL
2010
Springer
14 years 10 months ago
2010
Springer
Robustness is one of the most important topics for automatic speech recognition (ASR) in practical applications. Monaural speech separation based on computational auditory scene a...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
This paper deals with the geographical analysis and visualization of network marketing. The aim of the study was to develop interactive visual methods, which help to answer questi...
CL
2006
Springer
14 years 10 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
108
click to vote
CL
2007
Springer
14 years 10 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...