1999 search results - page 383 / 400 » Dependently Typed Grammars |
130
click to vote
WOTUG
2007
15 years 26 days ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
110
click to vote
BLISS
2009
IEEE
15 years 25 days ago
2009
IEEE
Self configuring VLSI technology architectures offer a new environment for creating novel security functions. Two such functions for physical security architectures are proposed t...
107
click to vote
CEC
2010
IEEE
15 years 24 days ago
2010
IEEE
The optimization of spacecraft trajectories can be formulated as a global optimization task. The complexity of the problem depends greatly on the problem formulation, on the spacec...
AMAI
2008
Springer
14 years 12 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
ALMOB
2007
14 years 12 months ago
2007
Background: Assessing the outcome of motif mining algorithms is an essential task, as the number of reported motifs can be very large. Significance measures play a central role in...