8959 search results - page 164 / 1792 » Composing aspects with aspects |
138
click to vote
SIAMCOMP
2008
15 years 4 months ago
2008
Helly's theorem says that, if every d+1 elements of a given finite set of convex objects in Rd have a common point, there is a point common to all of the objects in the set. I...
153
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...
129
click to vote
SIGPRO
2008
15 years 4 months ago
2008
Recently, the DOA (Direction Of Arrival) estimation of an acoustic wavefront has been considered in a setting where the inference task is performed by a Wireless Sensor Network (W...
121
click to vote
SLOGICA
2008
15 years 4 months ago
2008
We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with ap...
120
click to vote
APAL
2005
15 years 4 months ago
2005
Abstract. We prove that a finitely generated group is context-free whenever its Cayleygraph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Sc...