5415 search results - page 483 / 1083 » The Implementation of Functional Programming Languages |
240
click to vote
ICDAR
2005
IEEE
16 years 1 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
235
Voted
ICDCSW
2005
IEEE
16 years 1 months ago
2005
IEEE
Recently, context-aware computing with information appliances is the topic of many research efforts. In order to realize context-aware systems, it is necessary to describe rules, ...
252
click to vote
AGP
2010
IEEE
16 years 25 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
244
click to vote
DAGSTUHL
2001
15 years 9 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
237
Voted
TASE
2007
IEEE
16 years 2 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...