5630 search results - page 254 / 1126 » Computability in Specification |
188
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
169
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Alice wants to prove that she is young enough to borrow money from her bank, without revealing her age. She therefore needs a tool for proving that a committed number lies in a spe...
158
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
169
click to vote
ACL
2008
15 years 8 months ago
2008
Previous work on statistical language generation has primarily focused on grammaticality and naturalness, scoring generation possibilities according to a language model or user fe...
167
click to vote
MKWI
2008
15 years 8 months ago
2008
: The Open Grid Services Architecture (OGSA) provides a high-level framework for service-oriented grid architecture, mostly based on web service standards. The vision of a worldwid...