3724 search results - page 464 / 745 » Timed regular expressions |
148
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
156
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
169
click to vote
ACSC
2006
IEEE
16 years 23 days ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
191
click to vote
VTC
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we present an asymptotical analysis of channel capacity of Bell labs layered space-time (BLAST) architectures based on a zero-forcing (ZF) criterion in the sense of...
200
click to vote
CRV
2005
IEEE
16 years 9 days ago
2005
IEEE
The problem of elucidating the functional significance of genes is a key challenge of modern science. Solving this problem can lead to fundamental advancements across multiple are...