1188 search results - page 204 / 238 » Testing Semantics: Connecting Processes and Process Logics |
152
click to vote
ASPDAC
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents a performance-driven I/O pin routing algorithm with special consideration of wire uniformity. First, a topological routing based on min-cost max-flow algorith...
107
click to vote
INFOSCALE
2007
ACM
15 years 3 months ago
2007
ACM
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
106
click to vote
HCI
2007
15 years 3 months ago
2007
Social software and web 2.0 live on the fact that people want to share and collaborate. This feeling of connecting with each other as well as helping and sharing information can be...
166
click to vote
ICAD
2004
15 years 3 months ago
2004
EmotionFace is a software interface for visually displaying the self-reported emotion expressed by music. Taken in reverse, it can be viewed as a facial expression whose auditory ...
159
click to vote
ICAI
2009
14 years 11 months ago
2009
Agents that operate in a real-world environment have to process an abundance of information, which may be ambiguous or noisy. We present a method inspired by cognitive research tha...