4166 search results - page 156 / 834 » Automating the constraining process |
IANDC
2006
14 years 10 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
ANCS
2009
ACM
14 years 8 months ago
2009
ACM
AtoZ, an automatic traffic organizer, provides control of how network-resources are used by applications. It does this by combining the high-speed packet processing of the NetFPGA...
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
Openings-by-reconstruction are the oldest connected filters, and indeed, reconstruction methodology lies at the heart of many connected operators such as levelings. Starting out ...
114
click to vote
TASE
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...