1438 search results - page 81 / 288 » An Expressive Extension of TLC |
208
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
85
Voted
ICFCA
2007
Springer
15 years 6 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
111
click to vote
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
121
Voted
IJCAI
2001
15 years 2 months ago
2001
A new, general approach is described for approximate inference in first-order probabilistic languages, using Markov chain Monte Carlo (MCMC) techniques in the space of concrete po...
102
Voted
CJ
2000
15 years 17 days ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...