2607 search results - page 130 / 522 » Complete Functional Synthesis |
135
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
129
Voted
INFORMATICALT
2006
15 years 3 months ago
2006
We study single machine scheduling problems, where processing times of the jobs are exponential functions of their start times. For increasing functions, we prove strong NP-hardnes...
128
click to vote
BLISS
2008
IEEE
15 years 10 months ago
2008
IEEE
Constructing the face of a criminal from the selection of individual facial parts is a hard task. We have been working on a new system called EvoFIT that involves the selection an...
112
Voted
ASSETS
2006
ACM
15 years 7 months ago
2006
ACM
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
234
Voted
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...