Sciweavers

386 search results - page 50 / 78
» Signature Verification Using Static and Dynamic Features
Sort
View
IFIP
2004
Springer
14 years 28 days ago
Service Location and Multiparty Peering for Mobile Ad Hoc Communication
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
Dirk Kutscher, Jörg Ott
SLOGICA
2008
101views more  SLOGICA 2008»
13 years 7 months ago
A Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
Alexandru Baltag, Sonja Smets
EDBT
2004
ACM
129views Database» more  EDBT 2004»
14 years 7 months ago
T-Araneus: Management of Temporal Data-Intensive Web Sites
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
Paolo Atzeni, Pierluigi Del Nostro
JIT
1999
Springer
123views Database» more  JIT 1999»
13 years 11 months ago
Byte Code Engineering
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
Markus Dahm
NAR
2011
234views Computer Vision» more  NAR 2011»
12 years 10 months ago
The UCSC cancer genomics browser: update 2011
The UCSC Cancer Genomics Browser (https:// genome-cancer.ucsc.edu) comprises a suite of web-based tools to integrate, visualize and analyze cancer genomics and clinical data. The ...
J. Zachary Sanborn, Stephen C. Benz, Brian Craft, ...