1814 search results - page 78 / 363 » Extended First-Order Logic |
126
click to vote
AIPS
2006
15 years 4 months ago
2006
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...
162
click to vote
DASFAA
2007
IEEE
15 years 3 months ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
139
click to vote
ADVSE
2010
14 years 10 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
105
Voted
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
3D-integration is a promising technology to help combat the “Memory Wall” in future multi-core processors. Past work has considered using 3D-stacked DRAM as a large last-level...
147
click to vote
ASAP
2008
IEEE
15 years 9 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...