3591 search results - page 497 / 719 » Typing linear constraints |
206
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
179
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Ontologies play a prominent role on the Semantic Web. They make possible the widespread publication of machine understandable data, opening myriad opportunities for automated info...
197
click to vote
RTSS
2008
IEEE
16 years 29 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
190
click to vote
FDL
2006
IEEE
16 years 19 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
180
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Matching functional sites is a key problem for the understanding of protein function and evolution. The commonly used graph theoretic approach, and other related appro...