1128 search results - page 146 / 226 » Classical Natural Deduction |
96
Voted
ISNN
2009
Springer
15 years 7 months ago
2009
Springer
Quantum evolutionary algorithm (QEA) is proposed on the basis of the concept and principles of quantum computing, which is a classical metaheuristic algorithm for the approximate s...
88
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
104
click to vote
OTM
2009
Springer
15 years 7 months ago
2009
Springer
Biodiversity informatics (BDI) information is both highly localized and highly distributed. The temporal and spatial contexts of data collection events are generally of primary imp...
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
Even Haskell programs can occasionally go wrong. Programs calling head on an empty list, and incomplete patterns in function definitions can cause program crashes, reporting littl...
95
Voted
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
In the classic minimum makespan scheduling problem, we are given an input sequence of jobs with processing times. A scheduling algorithm has to assign the jobs to m parallel machi...