1999 search results - page 259 / 400 » Dependently Typed Grammars |
162
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
173
click to vote
DFG
2009
Springer
16 years 1 months ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
159
click to vote
GLOBECOM
2006
IEEE
16 years 16 days ago
2006
IEEE
— After identifying that current GMPLS specifications only allow for the implementation of a call blocking mode of operation that handles immediate-request calls (not book-ahead...
156
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
171
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...