Sciweavers

7121 search results - page 1057 / 1425
» Functions as Session-Typed Processes
Sort
View
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
16 years 26 days ago
Choice and development
The process of development creates a phenotype from one or more genotypes of an individual through interaction with an environment. The opportunity for development to choose a phe...
Arthur M. Farley
161
Voted
ICANN
2007
Springer
16 years 26 days ago
Unbiased SVM Density Estimation with Application to Graphical Pattern Recognition
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
Edmondo Trentin, Ernesto Di Iorio
ICOIN
2007
Springer
16 years 26 days ago
On the Early Release of Burst-Control Packets in Optical Burst-Switched Networks
Abstract. In Optical Burst-Switched networks, the so-called BurstControl Packet is sent a given offset-time ahead of the optical data burst to advertise the imminent burst arrival...
José Alberto Hernández, Javier Araci...
161
Voted
ICOST
2007
Springer
16 years 26 days ago
Distributed Vision-Based Accident Management for Assisted Living
We consider the problem of assisting vulnerable people and their carers to reduce the occurrence, and concomitant consequences, of accidents in the home. A wireless sensor network ...
Hamid K. Aghajan, Juan Carlos Augusto, Chen Wu, Pa...
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 26 days ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
« Prev « First page 1057 / 1425 Last » Next »