5216 search results - page 915 / 1044 » Planning as Model Checking |
138
Voted
VLSID
2006
IEEE
15 years 9 months ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
114
Voted
ASM
2000
ASM
15 years 7 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
168
click to vote
AAAI
2006
15 years 4 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
122
Voted
AIPS
2003
15 years 4 months ago
2003
Recommender systems — systems that suggest to users in e-commerce sites items that might interest them — adopt a static view of the recommendation process and treat it as a pr...
114
Voted
WSC
1998
15 years 4 months ago
1998
This paper presents the analysis of the optimization for the production of precast pieces in a workshop with the help of simulation to obtain several working alternatives. The mai...