4325 search results - page 41 / 865 » Incremental computation with names |
93
Voted
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
Crosstalk noise has become an important issue as technology scales down for timing and signal integrity closure. Existing works to fix crosstalk noise are mostly done at the rout...
COLING
2002
15 years 9 days ago
2002
We present an algorithm, Nomen, for learning generalized names in text. Examples of these are names of diseases and infectious agents, such as bacteria and viruses. These names ex...
137
click to vote
CSCLP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
93
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
SSR
1997
15 years 1 months ago
1997
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...