3001 search results - page 176 / 601 » Recursive type generativity |
153
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
159
click to vote
ICMCS
2006
IEEE
16 years 13 days ago
2006
IEEE
We present a novel algorithm for structural analysis of audio to detect repetitive patterns that are suitable for content-based audio information retrieval systems, since repetiti...
173
click to vote
ECLIPSE
2006
ACM
16 years 11 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
122
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
The Switched-Current SI technique is a circuit method that enables analog sampled-data circuits to be realized with a standard digital CMOS process. At this time it is fair to say...
147
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...