467 search results - page 11 / 94 » Designer Definites in Logical Form |
TFS
2008
13 years 8 months ago
2008
Abstract--Flocking algorithms essentially consist of three components: alignment, cohesion, and separation. To track a desired trajectory, the flock center should move along the de...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
ECIS
2001
13 years 10 months ago
2001
In the research-in-progress reported here, we adapted the classic Mason and Mitroff characterization of an information system to a web environment. The resulting definition was us...
ACL
1990
13 years 10 months ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
GLVLSI
2008
IEEE
14 years 3 months ago
2008
IEEE
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...