4698 search results - page 591 / 940 » Making Functionality More General |
185
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
183
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
184
click to vote
ML
2006
ACM
16 years 18 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
160
click to vote
JCDL
2004
ACM
16 years 2 days ago
2004
ACM
As part of a more extensive study of reading-related practices, we have explored how people share information they encounter in their everyday reading as a complement to the more ...
151
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
Consider the problem of estimating the -level set G = {x : f(x) } of an unknown d-dimensional density function f based on n independent observations X1, . . . , Xn from the densi...