yusuke1997/dblp-id-title huggingface dataset:
Vertical handoff in heterogeneous wireless networks with mSCTP
A study on surface and volume tiling for geometric modeling
Robust minutia-based fingerprint verification
Optimization and differential geometry for geometric modeling
A study on several problems in online handwritten Chinese character recognition
Gossiping in meshes in all-port mode and with short packets
Security models for authorization, delegation and accountability
Studies of different variations of Adaptive Random Testing
A study of an active approach to speaker and task adaptation based on automatic analysis of vocabulary confusability
Software debugging through dynamic analysis of program structures
MIST: towards a minimum set of test cases
A software testing framework for context-aware applications in pervasive computing
Statistical language models for Chinese recognition: speech and character
Process migration on multiprocessor systems
Advanced query processing on spatial networks
Efficient shared object space support for distributed Java virtual machine
Cluster analysis on uncertain data
Minimizing interference in wireless sensor networks
Towards a new extension relation for compositional test case generation for CSP concurrent processes
Verification of program properties: from testing to semi-proving
Motif discovery for DNA sequences
A multi-agent based approach to transmission cost allocation
XML-manipulating techniques for the testing and analysis of XML-manipulating services
Distributed JAVA virtual machine with thread migration
Scheduling wireless links with SINR constraints
A study on acoustic modeling and adaptation in HMM-based speech recognition
Effective and efficient regression testing and fault localization through diversification, prioritization, and randomization
Information retrieval on the world wide web
A formal specification-based approach to object-oriented software testing at the class level
The research of using Bayesian inferential network in digital forensicanalysis
Free-form surface modeling with developables and cyclides
A theory of automatic language acquisition
Optimal divisible resource allocation for self-organizing cloud
Fault-tolerant wormhole routing for mesh computers
Fast labeled tree comparison via better matching algorithms
Techniques for managing and analyzing unconventional data
Formalisms on semi-structured and unstructured data schema computations
A distributed object model for solving irregularly structured problemson distributed systems
A secure e-course copyright protection infrastructure
Constructing a language model based on data mining techniques for a Chinese character recognition system
Investigation models for emerging computer forensic challenges
Process migration and runtime scheduling for parallel tasks in computational grids
Segmentation and reconstruction of medical images
Analysis of peer-to-peer investigation model
The effectiveness of partition testing
Shape-preserving meshes and generalized Morse-Smale complexes
Light source estimation from spherical reflections
Automated fault localization: a statistical predicate analysis approach
Efficient and resilient distributed algorithms for comparisonproblems
Designing authenication scheme for wireless sensor networks
Managing uncertainty in schema matchings
The complexities of tracking quantiles and frequent items in a data stream
Non-coding RNA identification along genome
On the construction and application of compressed text indexes
Scalable skyline evaluation in multidimensional and partially ordered domains
A study on a goal oriented detection and verification based approach for image and ink document analysis
A novel shape representation on GPU for real-time rendering
Optimal data dissemination in stochastic and arbitrary wireless networks
Multicast techniques for bandwidth-demanding applications in overlay networks
The design of an integrated internet-based learning environment and its effects on students' learning approaches
Location management and level switching schemes in multitier mobile communication systems
Sequence mining algorithms
Domain modelling: with a case study in air traffic
Fitting subdivision surfaces to unorganized points
Secure and privacy-preserving protocols for VANETs
Interactive network rendering based on textured depth map re-projection
New cryptographic schemes with application in network security and computer forensics
Discovering patterns in databases: the cases for language, music, and unstructured data
Discriminative speaker adaptation and environmental robustness in automatic speech recognition
3D model reconstruction from silhouettes
Studies on motion and deformation in graphics
An approach for recovering architectural variability from source code
Engineering augmented suffix sorting algorithms
Cache Colaborativo e Distribuído como Suporte à Mobilidade de Produtores em Redes Sem Fio de Dados Nomeados
Management of Sequence Data
Games with incomplete information: a framework based on possibility theory
Réseaux de neurones cellulaires et traitement d'images: une approche analytique de la conception d'opérateurs
Traitement automatique du dialecte tunisien à l'aide d'outils et de ressources de l'arabe standard : application à l'étiquetage morphosyntaxique
Semantic web technologies for enterprise 2.0
Novel fault-tolerant, self-configurable, scalable, secure, decentralized, and high-performance distributed database replication architecture using innovative sharding to enable the use of BFT consensus mechanisms in very large-scale networks
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol (Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle)
Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem. (Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l'oracle)
Unsupervised detection based on spatial relationships : Application for object detection and recognition of colored business document structures
Estudio de problemas de reconstrucción de funciones en espacios de Paley Wiener asociados a medidas singulares o grupos localmente compactos abelianos : Aplicaciones al estudio de núcleos positivos en el espacio de Hardy
Uma abordagem cognitiva para auto-configuração de protocolos de comunicação
Teste baseado em modelos simbólicos para sistemas de tempo real
Estudio de factibilidad para resolver el problema 2-packing máximo en tiempo polinomial en grafos outerplanares
Autômatos celulares probabilísticos com aplicações a sistemas biológicos
Channel estimation techniques applied to massive MIMO systems using sparsity and statistics approaches
Desenvolvimento de algoritmos para geração de modelos geoestatísticos usando aprendizado de máquina e computação de alta-performance
Tecnologia assistiva-digital para inclusão de pessoas com deficiência visual: prova de conceito de uma bengala eletrônica para ambientes indoor
Computational models for the geometric and functional analysis of the coronary circulation
Búsqueda y selección de servicios web con restricciones QoS en ambientes cloud computing
Desenvolvimento de métodos computacionais em volumes: segmentação de estruturas orgânicas em rochas
Métodos semánticos para la recuperación de información en grandes volúmenes de datos: una Aquitectura Escalable y Eficiente
SiSPODi: integrando medição, geração e inferência dos perfis de infusão intravenosa
O conceito de Patrimônio Cultural Digital na Ciência da Informação e os quadros ultramodernos da memória social
A descrição arquivística e a recuperação da informação na proposta de um modelo conceitual de sistemas informatizados de gestão arquivística de documentos: um estudo em instituições de ensino superior
Desenvolvimento de uma plataforma para gerenciamento e configuração de redes auto-organizadas
System support for self-adaptive Cyber-Physical Systems
Essays on electricity price forecasting
Framework para criação de laboratórios virtuais: diminuindo a lacuna entre teoria e prática em engenharia elétrica
Sistemas inteligentes para planejamento de escalas de equipagens em sistemas de transporte : aplicação a sistemas ferroviarios
Essays on information design
Modelo de orquestração baseado em contexto para a coordenação da resposta a desastres e emergências
Identifying key developers in software projects using code authorship metrics
Optimum path snakes: novo método de contornos ativos adaptativo e não-paramétrico
Reconhecimento de formas 2D usando uma técnica sequencial integrada e modelos poligonais
Colônias de abelhas como modelo para otimização multimodal em espaços contínuos: uma abordagem baseada em alocação de tarefas
Energy efficient web server clusters with stochastic QoS Control
Sequenciamento e caracterização do genoma da cepa ph8 de leishmania amazonensis com ênfase em fatores de virulência possivelmente envolvidos no estabelecimento e visceralização da infecção
A educação em saúde apoiada por um sistema mHealth : foco no tratamento da obesidade em adultos
Metodo de modelagem de processos para apoio ao desenvolvimento de software
Machine learning y realidad aumentada para el reconocimiento de recursos turísticos
Desenvolvimento de softwares para o ensino de bioquimica
Reconocimiento de patrones en campos aleatorios de Markov mediante modelos bayesianos para la agricultura de precisión
A contribution to the teaching of wireless connectivity for the internet of things : a network environment for training and experimentation
Filtragem relevante para controle : uma abordagem baseada na identificação de preditores
Seleção de serviços sensível à QoS e à capacidade para implantação eficiente de múltiplas coreografias de serviços
Representação de textos e arquitetura de redes neurais profundas mistas usando uma abordagem de evolução gramatical
Um modelo computacional para a otimização da eficiência energética de um sistema metroferroviário utilizando algoritmos genéticos
Sistemas computacionais baseados em regras fuzzy para previsão de componentes de produção de culturas irrigadas
Projeto automatico de sistemas nebulosos: uma abordagem co-evolutiva
No balanço das redes dos contadores de histórias : competência narrativa e competência em informação no século XXI
Acústica aplicada no desenvolvimento de equipamentos para agricultura de precisão
Mejoras en la usabilidad de la web a través de una estructura complementaria
Un enfoque para soporte de tareas de usuario mediante adaptación en el cliente Web
Um método de reanálise adaptativa para otimização estrutural usando um algoritmo genético não-geracional
Algoritmos genéticos para identicação de sítios ativos em enzimas
Contratação de produtos e serviços de software
Nube social para enseñanza práctica de tecnología de información
Investigating Natural User Interfaces (NUIs) : technologies and interaction in the context of accessibility = Investigando Natural User Interfaces (NUIs): tecnologias e interação em contexto de acessibilidade
Modelo integrado para la toma de decisiones en procesos naturales por medio de internet de las cosas
Sistema de sensoriamento a fibra óptica para determinação da concentração de sacarose e etanol aplicado a amostras de usinas sucroalcooleiras
Modelos de factorización en matrices no negativas para procesamiento de audio
Rearranjo de genomas: algoritmos e complexidade
Sinergia entre sistemas imunologicos artificiais e modelos graficos probabilisticos
Redes neurais reversíveis e caracterização de problemas físicos através de programação diferenciável
Redes neurais baseadas no método de grupo de manipulação de dados : treinamento, implementações e aplicações
Estudio de métodos semisupervisados para la desambiguación de sentidos verbales del español
Understanding confusion in code reviews
A cooptação da criptoideologia pelos princípios capitalísticos nos discursos no Twitter: uma investigação multimetodológica
Agent Social Metric: una herramienta de asistencia al docente en el dominio educativo del aula
Para uma economia da informação semântica: a construção de ambientes semânticos para a recuperação inteligente da informação
ncRNA-Agents: anotação de RNAs não-codificadores baseada em sistema multiagente
Scheduling in semi parallel flow shop with a final synchronizing operation
Emotion, personality and cultural aspects in crowds: towards a geometrical mind
Granulometria morfológica em espaços de cores : estudo da ordenação espacial
Metodología integral de casos de prueba sustentado en un modelo de verificación de requisitos para desarrollo de software comercial
Parâmetros de dominância em grafos regulares
Un marco formal para transformaciones en la Ingeniería de Software conducida por modelos
Otimização de largura de banda de antena de microfita
iDE - um framework para suporte ao gerenciamento de cursos em educação a distância
Uso e estabilidade de seletores de variáveis baseados nos pesos de conexão de redes neurais artificiais
Voicing the Web: The Trajectories of Blogging in the United States and France
A Usability Model for Software Development Processes and Practices
Não-separabilidade de graus de liberdade de um feixe laser e aplicações em informação quântica
Algoritmo memético para la identificación de partes del discurso
Convergência entre televisão e web : proposta de categorização analítica
Sistema de posicionamento de robôs em partidas de futebol baseado em inteligência coletiva por enxame
Análise in silico de genes que participam das respostas aos stresses abióticos (seca/salinidade) nos genomas de plantas superiores
Improving data locality of bagging ensembles for data streams through mini-batching
The Hypernetwork Architecture: A Hierarchical Molecular Interaction Model of Biological Information Processing
Game criativo: desenvolvendo habilidades de pensamento computacional, leitura e escrita através da criação de jogos
Estudo de Redes Ad-Hoc sem fio pela abordagem de geometria estocástica
Desenvolvimento de um mecanismo semi-supervisionado para segmentação de tumores em imagens de mamografia digital
Jogos combinatórios em grafos: jogo Timber e jogo de Coloração
CogEff: uma abordagem para mensurar a carga cognitiva de desenvolvedores em tarefas de compreensão de código
Mapa de interesses de autores de publicações científicas em Informática em Saúde baseado em Modelagem Autor-Tópico
Caracterização de imagens de microtomografia de raios X baseada em descritores de textura
Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genes
Mecanismos de soporte para procesamiento distribuido de algoritmos de recomendación en redes sociales
MPVUE - plataforma multiprocessador em chip para visão computacional
Regressão Simplex aplicada a delineamentos de mistura e utilização do Algoritmo Boosting
Aplicabilidade de metricas por pontos de função em sistemas baseados em Web
Cognitive radio virtual networks environment: definition, modeling and mapping of secondary virtual networks onto wireless substrate
Modelagem do protocolo da camada de sessão
On the social and spatiotemporal aspects for urban computing
Caminhada quântica escalonada em grade hexagonal
Ketib: um processo de representação de informações para textos complexos
Análise de sensibilidade topológica em modelos constitutivos multi-escalas
Correlate & lead: process and catalog of non-functional requirements correlations in ubicomp and iot systems
Deep-based recurrent approaches for gesture recognition
Um agrupamento de modelos conexonistas por meio de sinapses artificiais e suas aplicações no mercado de criptomoedas
Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer
AgDatabox-Map-Fast Track: Módulo Computacional para Geração de Mapas Temáticos e Delineamento de Zonas de Manejo Automático
Medição e estimação de esforços de atividades de gerencia de configuração de software
Método Grid-Quadtree para seleção de parâmetros do algoritmo support vector classification (SVC)
Algoritmos para decodificação de codigos de bloco com decisão suave e aplicações em sistemas concatenados generalizados
Coding theory: an approach through metrics which respect support, and other issues = Teoria de códigos: uma abordagem usando métricas que respeitam suporte e outros problemas
Exploiting parallelism in document similarity tasks with applications
Estimación del tamaño funcional del software en la elicitación de requerimientos
Novas propostas e aplicações de redes neurais com estados de eco
Exact and heuristic methods for heterogeneous assembly line balancing problems of type 2
Transferring human motion and appearance in monocular videos
Políticas públicas nacionales para el desarrollo de internet y su relación con las competencias infocomunicacionales: comparativo entre Brasil y Colômbia
An energy-efficient approach to enhance virtual sensors provisioning in the heterogeneous environments of sensor clouds
Procedimento metodologico para modelagem cartografica e analise regional de epidemias de dengue em sistema de informação geografica
Eigenroutines: modelo computacional para identificação de padrões comportamentais em pessoas com transtornos neuropsiquiátricos utilizando histórico de contextos
Processo de avaliação da qualidade de pacotes de software
Controle inteligente LQR neuro-genético para alocação de autoestrutura em sistemas dinâmicos multivariáveis
Effects of the local dynamics in the synchronization of neural models
Reutilização de informações e conhecimentos para apoio ao projeto de material de atrito
Desenvolvimento e avaliação do software QUANT para quantificação de doenças de plantas por análise de imagens
Identificação de espécies arbóreas apoiada por reconhecimento de padrões de textura no tronco usando inteligência computacional
Chatbot aplicado à recuperação de informação: um modelo orientado a metadados
Improving container deployment latency in distributed edge infrastructures
Recomendação de conhecimento disponível em sítios Q&A para auxílio ao desenvolvimento e depuração de software
e-Ágora: métodos e algoritmos para a construção da opinião pública no contexto da teoria da democracia deliberativa
Circular arc bigraphs and their Helly subclass
Observation mechanisms for in-field software-based self-test
Uma arquitetura para monitoramento de segurança baseada em acordos de níveis de serviço para nuvens de infraestrutura
Execução de serviços baseada em regras de negocio
Uma abordagem híbrida baseada em redes bayesianas e ontologias para modelagem do estudante em sistemas adaptativos e inteligentes para Educação
Cooperative localization improvement in vehicular ad hoc networks
Estimativa de amplitude de vibração de máquinas rotativas
Comunicação quântica segura direta e polarização quântica usando estados contínuos da luz
Modeling and analyzing collective behavior captured by many-to-many networks
Strategies for testing and formalizing properties of modern programming languages
Computer security by hardware-intrinsic authentication : Segurança de computadores por meio de autenticação intrínseca de hardware
Crystalwalk: um software did??tico-interativo para s??ntese e visualiza????o de estruturas cristalinas
Desenvolvimento de um método para integrar um segmentador de grandes imagens no banco de dados PostgreSQL
Influência da estrutura espacial dos geossistemas na regionalização dos parâmetros de qualidade da água : um estudo de caso na Alta Bacia do Piracicaba-Jaguari, sudeste do Brasil
Avaliação Experimental da Detecção Interativa de Anomalias de Código
Propuesta e implementación de un modelo para el rediseño organizacional y su influencia en la transformación digital en el sector público
High frequency exchange rate prediction using dynamic bayesian networks over the limit order book information
Um modelo de otimização para planejamento dinâmico de voo para grupos de drones por meio de sistema multiagente e leilões recursivos
Pesquisa jurisprudencial inteligente
Modelo teórico de um sistema para data warehouse como ferramenta para pesquisas sobre políticas públicas
Using Interpretive Semantics Techniques to Enhance Ontology Learning
Aplicação de blockchains para incentivos em redes cooperativas
Enfoques de programación entera para el problema del viajante de comercio con costos en función del tiempo
Hidrogeomorfologia e efeitos da subida do nível do mar no Balneário Cassino, RS - Brasil
Informação e mentalidade empreendedora: estudos de caso com acadêmicos de universidades no Brasil e Canadá
Periódicos científicos de acesso aberto do Brasil e da Espanha: modelo terminológico e padrão das equipes editoriais e científicas e da avaliação por pares
Symbolic-geometric planning
Desenvolvimento de ferramentas de bioinformática para o estudo evolutivo de sistemas bioquímicos
Modelo para a predi??o de comportamento de multid?o em tempos futuros
Polinômios multivariados: fatoração e MDC
Algorithms for sorting by reversals or transpositions, with application to genome rearrangement : Algoritmos para problemas de ordenação por reversões ou transposições, com aplicações em rearranjo de genomas
Using multiple feature models of domains and regulations to develop configuration systems
ToffA-DAS: an approach to conduct trade-off analysis for dynamically adaptable software
An inclusive end-user development framework for tailorable games
Medidas para avaliação da manutenibilidade do modelo de features de linhas de produto de software tradicionais e dinâmicas
Metodologias ativas integradas a um sistema de recomendação com suporte à mineração de dados educacionais e learning analytics para a mitigação de evasão da educação a distância
Social machines: a unified paradigm to describe, design and implement emerging social systems
Integrating constraint awareness and multiple approximation techniques in high-level synthesis for FPGAs
Contributions to scalability in state machine replication
Radio and baseband unit virtualization : pushing the boundaries of future mobile networks
Seleção de portfólio no contexto de grades P2P multisserviço
PRiMA: project risk management approach
Efficient evolutionary-based neural architecture search in few GPU hours for image classification and medical image segmentation
Uso da álgebra linear para análise de similaridades e extração de padrões em sequências protéicas
Aplicação e comparação de métodos policy gradient em problema de cadeias de suprimentos multiestágio com incertezas
Implementação de uma plataforma HW/SW para automação industrial, utilizando hardware reconfigurável com processador NIOS II em conformidade com o padrão IEEE 1451
Uma análise de integração de técnicas de seleção dinâmica na construção de um sistema de classificação
A mudança da linguagem matemática para a liguagem web e as suas implicações na interpretação de problemas matemáticos
Planificación dinámica sobre entornos GRID
Tratamiento virtual de aneurismas cerebrales
Uma arquitetura baseada em agentes para configuração dinâmica de aplicações inteligentes em ambiente foundation fieldbus
Uso de séries temporais de imagens landsat para mapeamento e estimativa da produtividade de cana-de-açúcar a partir do algoritmo random forest
Abordagem lexicográfica na otimização da operação de usinas hidrelétricas
Um ambiente colaborativo de aprendizagem interdisciplinar apoiado por interfaces adaptativas
Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto
Contribuição para a otimização de turbinas em usinas hidrelétricas : especificação e operação
Novas abordagens para o problema do alinhamento múltiplo de sequências
STEAM: um modelo para processamento de eventos e enriquecimento de fluxos de dados IoT na borda da rede
Ethoflow: an artificial intelligence-based software that facilitates behavioral measurements and their application for toxicological assessments in insects
Uberband: meta-aprendizado e otimiza??o baseada em bandidos multi-armados para sele??o eficiente e efetiva de processos completos
Aspectos inferenciais em experimentos de Bernoulli comerros e classificações repetidas
Proposição do paradigma orientado a notificações no desenvolvimento de circuitos lógico-digitais reconfiguráveis