2265 search results - page 158 / 453 » On the Power of Local Orientations |
107
Voted
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
90
Voted
PDC
2004
ACM
15 years 6 months ago
2004
ACM
One of the major problems with participatory design is that it is extremely difficult to apply it to current developments. Software development for the mass market is one aspect o...
103
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
Autonomous planetary rovers operating in vast unknown environments must operate efficiently because of size, power and computing limitations. Recently, we have developed a rover c...
BIBM
2008
IEEE
15 years 2 months ago
2008
IEEE
Recent studies in protein sequence analysis have leveraged the power of unlabeled data. For example, the profile and mismatch neighborhood kernels have shown significant improveme...
90
Voted
AIPS
2003
15 years 2 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...