5630 search results - page 254 / 1126 » Computability in Specification |
174
click to vote
EDBT
2000
ACM
15 years 9 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...
156
click to vote
EUROCRYPT
2000
Springer
15 years 9 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...
146
click to vote
ASYNC
1997
IEEE
15 years 9 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...
161
click to vote
ACL
2008
15 years 7 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...
160
click to vote
MKWI
2008
15 years 7 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...