607 search results - page 31 / 122 » There Is Something about Might |
128
click to vote
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
119
click to vote
AAAI
1994
15 years 3 months ago
1994
Large amounts of low- to medium-quality English texts are now being produced by machine translation (MT) systems, optical character readers (OCR), and non-native speakers of Engli...
125
click to vote
BMCBI
2008
15 years 2 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
103
click to vote
COMPUTER
1999
15 years 1 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
SOFTWARE
2002
15 years 1 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...