1
Publicerad 2006
Innehållsförteckning: ... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2005
Innehållsförteckning: ... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2005
Innehållsförteckning: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2006
Innehållsförteckning: ... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2008
Innehållsförteckning: ... -- Interpersonal Knowledge in Virtual Seminars -- Individual Versus Group Learning as a Function of Task Complexity...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2007
Innehållsförteckning: ... Home Agent Migration to Mobile IPv6 Based Protocols -- Experimental Evaluation of EAP Performance...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2008
Innehållsförteckning: ... -- Improved Alignment of Protein Sequences Based on Common Parts -- Invited Keynote Talk: Computing P-Values...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2006
Innehållsförteckning: ... Via Periodic Optimization and Linear Programming: The Case of Sigmoidal Utility Function -- TCP Versus...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2005
Innehållsförteckning: ... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2007
Innehållsförteckning: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2006
Innehållsförteckning: ... for Storage Area Networks (ACOSAN) -- Neural Nets -- Radial Basis Functions Versus Geostatistics in Spatial...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ... -- Natural Behavior of a Listening Agent -- Providing Computer Game Characters with Conversational Abilities...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2010
Innehållsförteckning: ... Based on Parametric Dynamic Programming -- Determining Dominant Frequency with Data-Adaptive Windows...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2014
Innehållsförteckning: ... Shearlet-Based Filter for Low-Dose Mammography -- Evaluation of Human Contrast Sensitivity Functions Used...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ... Engineering -- Position Papers -- Aggregation of Empirical Evidence -- Empirical Evaluation in Software...
Hämta fulltext
Elektronisk E-bok