5622 search results - page 1104 / 1125 » Solving architectural modelling problems using knowledge |
131
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
135
click to vote
EUROCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
131
click to vote
DAGM
2003
Springer
15 years 7 months ago
2003
Springer
We provide an overview of spline and wavelet techniques with an emphasis on applications in pattern recognition. The presentation is divided in three parts. In the first one, we ar...
264
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Many modern enterprises are collecting data at the most detailed level possible, creating data repositories ranging from terabytes to petabytes in size. The ability to apply sophi...
109
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...