1913 search results - page 117 / 383 » Group Input Machine |
141
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
147
Voted
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
This paper deals with the problem of recognizing and extracting acronymdefinition pairs in Swedish medical texts. This project applies a rule-based method to solve the acronym rec...
129
Voted
FLAIRS
2003
15 years 6 months ago
2003
We report on our on-going effort to build an adaptive driver support system, Driver AdvocateTM , merging various AI techniques, in particular, agents, ontology, production systems...
146
click to vote
ICMAS
2000
15 years 6 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
158
Voted
FTDCS
2004
IEEE
15 years 8 months ago
2004
IEEE
Today most Internet services are pre-assigned to servers statically, hence preventing us from doing real-time sharing of a pool of servers across as group of services with dynamic...