2409 search results - page 353 / 482 » Logical systems for structured specifications |
142
click to vote
EH
2000
IEEE
15 years 8 months ago
2000
IEEE
Reconfigurable chips are integrated circuits whose internal connections can be programmed by the user to attend a specific application. Field Programmable Gate Arrays (FPGAs) and ...
126
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...
138
Voted
ICADL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a keyphrase extraction algorithm for scientific publications. Different from previous work, we introduce features that capture the positions of phrases in docu...
108
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
132
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...