6593 search results - page 287 / 1319 » Integrated Learning Architectures |
129
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
122
click to vote
VLSID
2006
IEEE
16 years 5 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
135
click to vote
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
An Application Specific Instruction Set Processor (ASIP) exploits special characteristics of the given application(s) to meet the desired performance, cost and power requirements....
143
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...
229
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...